Haskell-CI

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

Sign in to view logs

Triggered via pull request October 26, 2025 12:23

synchronize #2793

jamesmckinna:decFinSubset

Status Success

Total duration 2m 57s

Artifacts –

haskell-ci.yml

on: pull_request

Matrix: linux