Skip to content
CI

Hint mode #52

Sign in to view logs

Hint mode

Hint mode #52

Run time

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