Refactoring of the category theory example + removing plan B (#389) #303
CohenCyril
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-coq-8.16.yml
on: push
coq
32s
mathcomp-single
40s
QuickChick
36s
Verdi
27s
autosubst
27s
category-theory
32s
mathcomp-bigenough
36s
mathcomp-finmap
32s
reglang
28s
relation-algebra
33s
interval
38s
odd-order
32s