[CI] Add test-suite #113
nix-action-coq-8.19.yml
on: pull_request
coq
35s
hierarchy-builder-test
1m 14s
mathcomp-single
9m 5s
mathcomp-analysis
16m 22s
coqeal
4m 38s
odd-order
12m 37s