Skip to content
CI

Unary integers #2330

Sign in to view logs

Unary integers

Unary integers #2330

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix
2m 5s
quick-build (supported, ubuntu-latest)
2m 45s
opam-build (supported, ubuntu-latest)
4m 30s
quick-build (latest, ubuntu-latest)
2m 47s
build (supported)
2m 59s
opam-build (8.18, ubuntu-latest)
4m 32s
quick-build (dev, ubuntu-latest)
2m 54s
opam-build (latest, ubuntu-latest)
4m 28s
opam-build (dev, ubuntu-latest)
4m 28s
build (latest)
3m 12s
build (dev, --warnings)
3m 1s
doc-alectryon
13m 18s
doc-coqdoc
1m 4s
doc-dep-graphs
7m 15s
coqchk (supported)
1m 33s
doc-timing
1m 8s
coqchk (latest)
1m 34s
install (supported)
1m 18s
coqchk (dev)
1m 32s
install (latest)
1m 10s
install (dev)
1m 12s
deploy-doc
0s
delete-artifacts
9s
1h 8m 54s