[CI] Add test-suite #115
Triggered via pull request
October 17, 2024 12:30
proux01
Status
Success
Total duration
1h 8m 39s
Artifacts
–
nix-action-coq-8.19.yml
on: pull_request
coq
39s
hierarchy-builder-test
1m 16s
mathcomp-single
8m 57s
mathcomp-analysis
19m 9s
coqeal
4m 51s
odd-order
12m 25s