Merge pull request #379 from math-comp/fix-ci #26
nix-action-coq-master.yml
on: push
coq
27s
mathcomp-single
27s
hierarchy-builder-shim
29s
mathcomp-single-planB-src
29s
odd-order
34s