Merge pull request #697 from LPCIC/fix-ci-820 #47
nix-action-coq-8.20.yml
on: push
coq
49s
interval
3m 34s
mathcomp-analysis
0s
coqeal
5m 47s
odd-order
11m 59s
Annotations
1 error
mathcomp-classical
Process completed with exit code 1.
|