Refactoring of the category theory example + removing plan B #31
Triggered via pull request
September 21, 2023 11:43
CohenCyril
opened
#389
Status
Success
Total duration
13m 18s
Artifacts
–
nix-action-coq-master.yml
on: pull_request_target
coq
39s
mathcomp-single
29s
hierarchy-builder-shim
39s
mathcomp-single-planB-src
33s
odd-order
30s