A few performance improvements #17
nix-action-coq-master.yml
on: pull_request_target
coq
31s
mathcomp-single
33s
hierarchy-builder-shim
30s
mathcomp-single-planB-src
33s
odd-order
33s