[CI] Add test-suite #307
nix-action-coq-8.18.yml
on: pull_request_target
coq
36s
mathcomp-single
9m 15s
fourcolor
13m 12s
coq-bits
1m 25s
addition-chains
2m 0s
http
1m 30s
mathcomp-analysis
35s
coqeal
4m 34s
odd-order
13m 34s