Skip to content
CI

Hint mode #3305

Sign in to view logs

Hint mode

Hint mode #3305

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix
2m 30s
opam-build (supported, ubuntu-latest)
5m 14s
opam-build (latest, ubuntu-latest)
4m 36s
quick-build (supported, ubuntu-latest)
3m 22s
build (supported)
3m 27s
opam-build (dev, ubuntu-latest)
4m 8s
quick-build (latest, ubuntu-latest)
3m 15s
build (latest)
3m 18s
quick-build (dev, ubuntu-latest)
3m 20s
build (dev, --warnings)
3m 25s
doc-alectryon
15m 54s
doc-dep-graphs
7m 22s
doc-coqdoc
1m 34s
coqchk (supported)
2m 7s
doc-timing
1m 36s
coqchk (latest)
2m 4s
install (supported)
1m 35s
coqchk (dev)
1m 52s
install (latest)
1m 31s
install (dev)
1m 50s
deploy-doc
0s
delete-artifacts
5s
1h 14m 5s