Adapt to rocq#21180 #1118
nix-action-coq-master.yml
on: pull_request_target
rocq-core
53s
coq-elpi-tests-stdlib
1m 25s
rocq-elpi
1m 23s
mathcomp-algebra-tactics
10m 24s
mathcomp-experimental-reals
2m 10s
coqeal
5m 15s
mathcomp-analysis-stdlib
15m 19s
odd-order
10m 55s