Check whitespace

[ refactor ] `Data.Fin.Properties` of decidable equality, plus knock-ons #1781

Sign in to view logs

Triggered via pull request June 25, 2025 12:15

synchronize #2740

jamesmckinna:refactor-Fin-properties

Status Success

Total duration 13s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace