Skip to content
CI

basics on homotopy cofibers #3211

Sign in to view logs

basics on homotopy cofibers

basics on homotopy cofibers #3211

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (supported)
2m 11s
quick-build (supported, ubuntu-latest)
2m 14s
build (latest)
2m 12s
nix
2m 15s
quick-build (latest, ubuntu-latest)
2m 13s
opam-build (supported, ubuntu-latest)
2m 13s
quick-build (dev, ubuntu-latest)
2m 13s
opam-build (latest, ubuntu-latest)
2m 12s
opam-build (dev, ubuntu-latest)
2m 12s
build (dev, --warnings)
2m 14s
doc-dep-graphs
1s
doc-timing
1s
doc-coqdoc
1s
coqchk
1s
install
1s
doc-alectryon
1s
deploy-doc
1s
delete-artifacts
5s
22m 21s