[CI] Add test-suite #21
nix-action-coq-8.20.yml
on: pull_request_target
coq
38s
mathcomp-single
8m 21s
interval
2m 45s
fourcolor
15m 39s
coq-bits
3m 47s
mathcomp-analysis
13m 55s
coqeal
4m 36s
odd-order
11m 22s