Merge pull request #735 from proux01/ci-update #273
nix-action-coq-8.20.yml
on: push
coq
58s
interval
3m 3s
mathcomp-experimental-reals
2m 15s
coqeal
4m 45s
mathcomp-analysis-stdlib
2m 10s
odd-order
10m 50s
Annotations
27 warnings