Adapt to rocq#21180 #1119
nix-action-coq-master.yml
on: pull_request_target
rocq-core
52s
coq-elpi-tests-stdlib
55s
rocq-elpi
1m 23s
mathcomp-algebra-tactics
1m 7s
mathcomp-experimental-reals
12m 34s
coqeal
5m 27s
mathcomp-analysis-stdlib
1m 2s
odd-order
10m 9s