Adapt to rocq#21180 #200
nix-action-rocq-9.1.yml
on: pull_request_target
rocq-core
54s
coq-elpi-tests-stdlib
1m 25s
rocq-elpi
1m 23s
autosubst
1m 35s
mathcomp-algebra-tactics
10m 18s
mathcomp-experimental-reals
2m 11s
coqeal
4m 2s
mathcomp-analysis-stdlib
1m 48s
odd-order
10m 58s