Merge pull request #410 from math-comp/CohenCyril-patch-1 #8
nix-action-coq-8.19.yml
on: push
coq
29s
mathcomp-single
29s
fourcolor
25s
coq-bits
26s
coqeal
32s
odd-order
26s