Adapt to rocq#21180 #201
nix-action-rocq-9.1.yml
on: pull_request_target
rocq-core
49s
coq-elpi-tests-stdlib
1m 24s
rocq-elpi
1m 28s
autosubst
1m 31s
mathcomp-algebra-tactics
1m 4s
mathcomp-experimental-reals
2m 43s
odd-order
10m 24s