Check whitespace

[ refactor ] `Data.Fin.Properties.decFinSubset` #2088

Sign in to view logs

Triggered via pull request October 11, 2025 13:58

synchronize #2793

jamesmckinna:decFinSubset

Status Success

Total duration 11s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace