Check whitespace

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

Sign in to view logs

Triggered via pull request October 26, 2025 12:23

synchronize #2793

jamesmckinna:decFinSubset

Status Success

Total duration 14s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace