Haskell-CI

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

Sign in to view logs

Triggered via pull request June 27, 2025 04:06

synchronize #2740

jamesmckinna:refactor-Fin-properties

Status Success

Total duration 2m 54s

Artifacts –

haskell-ci.yml

on: pull_request

Matrix: linux