Skip to content
CI

Z-module structure on abelian groups #2461

Sign in to view logs

Z-module structure on abelian groups

Z-module structure on abelian groups #2461

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix
2m 3s
quick-build (supported, ubuntu-latest)
2m 43s
build (supported)
2m 49s
quick-build (latest, ubuntu-latest)
2m 43s
opam-build (supported, ubuntu-latest)
3m 40s
build (latest)
2m 50s
quick-build (dev, ubuntu-latest)
2m 38s
opam-build (latest, ubuntu-latest)
3m 34s
build (dev, --warnings)
3m 32s
opam-build (dev, ubuntu-latest)
3m 36s
doc-timing
0s
doc-alectryon
0s
doc-coqdoc
0s
coqchk
0s
doc-dep-graphs
0s
install
0s
deploy-doc
0s
delete-artifacts
7s
30m 15s