Merge pull request #396 from proux01/ci_coqeal #151
nix-action-coq-master.yml
on: push
coq
4m 14s
mathcomp-single
34s
reglang
1m 20s
fourcolor
13m 2s
coq-bits
1m 21s
coqeal
3m 18s
odd-order
11m 44s