[refactor] instance declaration #180
gares
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-coq-8.17.yml
on: pull_request_target
coq
30s
mathcomp-single
26s
QuickChick
32s
Verdi
28s
autosubst
39s
category-theory
26s
mathcomp-bigenough
31s
mathcomp-finmap
28s
reglang
29s
relation-algebra
28s
interval
42s
odd-order
32s