Merge pull request #439 from proux01/ci-820 #287
nix-action-coq-master.yml
on: push
coq
39s
mathcomp-single
36s
fourcolor
12m 32s
coq-bits
1m 16s
mathcomp-analysis
9m 6s
coqeal
5m 27s
odd-order
9m 28s