[CI] Add test-suite #15
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-coq-8.20.yml
on: pull_request_target
coq
35s
mathcomp-single
8m 10s
interval
3m 15s
fourcolor
15m 54s
coq-bits
3m 49s
mathcomp-analysis
13m 25s
coqeal
4m 30s
odd-order
11m 18s