Drop 8.20 from CI #193
nix-action-coq-9.0.yml
on: pull_request_target
rocq-core
27s
autosubst
1m 15s
QuickChick
1m 12s
interval
2m 13s
fourcolor
13m 5s
mathcomp-word
1m 13s
coq-bits
1m 19s
mathcomp-experimental-reals
1m 41s
coqeal
3m 42s
mathcomp-analysis-stdlib
1m 40s
odd-order
10m 18s