[CI] Add coqeal and Coq 8.20 #253
Triggered via pull request
September 11, 2024 12:58
proux01
Status
Failure
Total duration
50m 11s
Artifacts
–
nix-action-coq-master.yml
on: pull_request
coq
4m 12s
mathcomp-analysis
10m 34s
coqeal
59s
odd-order
10m 41s
Annotations
1 error
|
coqeal
Process completed with exit code 1.
|