Check whitespace

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

Sign in to view logs

Triggered via pull request June 27, 2025 04:23

synchronize #2740

jamesmckinna:refactor-Fin-properties

Status Success

Total duration 8s

Artifacts –

whitespace.yml

on: pull_request

check-whitespace