[CI] Add test-suite #19
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
39s
mathcomp-single
8m 1s
interval
2m 31s
fourcolor
15m 59s
coq-bits
3m 48s
mathcomp-analysis
15m 55s
coqeal
4m 40s
odd-order
11m 21s