Refactoring of the category theory example + removing plan B #41
Triggered via pull request
September 27, 2023 09:19
CohenCyril
synchronize
#389
Status
Success
Total duration
9m 52s
Artifacts
–
nix-action-coq-master.yml
on: pull_request_target
coq
47s
mathcomp-single
35s
hierarchy-builder-shim
33s
mathcomp-single-planB-src
26s
odd-order
32s