Skip to content
CI

basics on homotopy cofibers #3333

Sign in to view logs

basics on homotopy cofibers

basics on homotopy cofibers #3333

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix
2m 2s
opam-build (supported, ubuntu-latest)
2m 39s
quick-build (supported, ubuntu-latest)
2m 40s
build (supported)
2m 40s
opam-build (latest, ubuntu-latest)
2m 39s
quick-build (latest, ubuntu-latest)
2m 40s
opam-build (dev, ubuntu-latest)
2m 39s
build (latest)
2m 41s
quick-build (dev, ubuntu-latest)
2m 40s
build (dev, --warnings)
2m 38s
doc-alectryon
1s
doc-dep-graphs
1s
coqchk
1s
doc-coqdoc
1s
doc-timing
1s
install
1s
deploy-doc
1s
delete-artifacts
4s
26m 9s