Refactoring of the category theory example + removing plan B #149
Triggered via pull request
September 28, 2023 13:17
CohenCyril
Status
Success
Total duration
9m 57s
Artifacts
–
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
coq
41s
mathcomp-single
42s
QuickChick
28s
Verdi
38s
autosubst
27s
category-theory
28s
mathcomp-bigenough
34s
mathcomp-finmap
35s
reglang
27s
relation-algebra
40s
interval
35s
odd-order
29s