[CI] Add test-suite #27
nix-action-coq-8.20.yml
on: pull_request_target
coq
35s
mathcomp-single
8m 9s
interval
2m 37s
fourcolor
13m 38s
coq-bits
1m 33s
mathcomp-analysis
15m 59s
coqeal
4m 39s
odd-order
11m 33s