Refactoring of the category theory example + removing plan B #148
Triggered via pull request
September 28, 2023 13:17
CohenCyril
CohenCyril
synchronize
#389
Status
Success
Total duration
9m 39s
Artifacts
–
nix-action-coq-8.17.yml
on: pull_request_target
coq
32s
mathcomp-single-planB-src
33s
QuickChick
43s
Verdi
36s
autosubst
29s
category-theory
39s
mathcomp-bigenough
30s
mathcomp-finmap
40s
reglang
28s
relation-algebra
37s
interval
30s
odd-order
37s