Skip to content
Nix CI for bundle 8.17+2.0

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

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 #33

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
34s
fourcolor
13m 41s
mathcomp-finmap
40s
graph-theory
4m 58s
19m 53s