[CI] Add test-suite #25
nix-action-coq-8.20.yml
on: pull_request_target
coq
36s
mathcomp-single
7m 58s
interval
2m 33s
fourcolor
15m 50s
coq-bits
3m 59s
mathcomp-analysis
13m 19s
coqeal
4m 28s
odd-order
11m 15s