[CI] Add Coq master and Coq 8.18 to master branch #13
nix-action-coq-master.yml
on: pull_request
coq
4m 47s
mathcomp-single
1m 1s
hierarchy-builder-shim
2m 31s
mathcomp-single-planB-src
1m 7s
odd-order
43s