[CI] Add Coq 8.20 #286
Triggered via pull request
August 26, 2024 15:02
proux01
Status
Success
Total duration
2h 10m 49s
Artifacts
–
nix-action-coq-master.yml
on: pull_request
coq
7m 6s
mathcomp-single
33s
fourcolor
17m 33s
coq-bits
6m 40s
mathcomp-analysis
11m 51s
coqeal
5m 49s
odd-order
12m 8s