[CI] Add test-suite #312
Triggered via pull request
October 17, 2024 15:31
proux01
Status
Success
Total duration
1h 5m 0s
Artifacts
–
nix-action-coq-8.18.yml
on: pull_request
coq
43s
hierarchy-builder-test
1m 24s
mathcomp-single
9m 10s
fourcolor
13m 12s
coq-bits
1m 29s
addition-chains
2m 2s
http
1m 25s
coqeal
5m 1s
odd-order
13m 29s