is_deriveX: is that a generalization?
#4191
nix-action-master.yml
on: pull_request_target
coq
1m 1s
rocq-core
45s
rocq-elpi
47s
mathcomp
52s
mathcomp-analysis-single
16m 19s
mathcomp-experimental-reals
13m 2s
mathcomp-reals-stdlib
13m 26s