Update README.md #10
Triggered via pull request
February 5, 2025 13:49
CohenCyril
CohenCyril
opened
#511
Status
Success
Total duration
57m 1s
Artifacts
–
nix-action-coq-9.0.yml
on: pull_request_target
coq
38s
mathcomp-single
6m 43s
QuickChick
1m 43s
autosubst
1m 14s
deriving
1m 38s
reglang
1m 42s
fourcolor
17m 11s
coq-bits
5m 30s
mathcomp-experimental-reals
1m 51s
coqeal
3m 17s
mathcomp-analysis-stdlib
9m 40s
odd-order
9m 1s