Merge pull request #410 from math-comp/CohenCyril-patch-1 #203
nix-action-coq-master.yml
on: push
coq
31s
mathcomp-single
32s
fourcolor
33s
coq-bits
27s
coqeal
28s
odd-order
27s