enable CI on 8.18 #25
nix-action-coq-master.yml
on: pull_request
coq
39s
mathcomp-single
33s
hierarchy-builder-shim
37s
mathcomp-single-planB-src
45s
odd-order
31s