Skip to content
Back to pull request #1917

truncation level of lists #2118

Sign in to view logs

truncation level of lists

truncation level of lists #2118

Run time

Learn about OS pricing on GitHub Actions
Job Run time
opam-build (supported, ubuntu-latest)
4m 25s
opam-build (8.18, ubuntu-latest)
4m 28s
nix
2m 10s
build (supported)
3m 18s
opam-build (latest, ubuntu-latest)
4m 27s
quick-build (supported, ubuntu-latest)
2m 48s
build (latest)
3m 1s
opam-build (dev, ubuntu-latest)
4m 36s
quick-build (latest, ubuntu-latest)
2m 44s
build (dev, --warnings)
3m 0s
quick-build (dev, ubuntu-latest)
2m 50s
doc-alectryon
12m 56s
doc-coqdoc
1m 3s
doc-dep-graphs
7m 12s
coqchk (supported)
1m 37s
coqchk (latest)
1m 41s
doc-timing
1m 14s
coqchk (dev)
1m 47s
install (supported)
1m 9s
install (latest)
1m 9s
install (dev)
1m 12s
deploy-doc
0s
delete-artifacts
8s
1h 8m 55s