Ubuntu build

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

Sign in to view logs

Triggered via pull request June 27, 2025 04:06

synchronize #2740

jamesmckinna:refactor-Fin-properties

Status Success

Total duration 38m 39s

Artifacts –

ci-ubuntu.yml

on: pull_request