Skip to content
Nix CI for bundle 8.18+2.0

Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor #21

Sign in to view logs

Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor

Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor #21

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
37s
mathcomp-finmap
39s
fourcolor
13m 1s
graph-theory
4m 49s
19m 6s