Skip to content
CI

peano_naturals.v: get rid of universe N #1633

Sign in to view logs

peano_naturals.v: get rid of universe N

peano_naturals.v: get rid of universe N #1633

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix
3m 17s
opam-build (supported, ubuntu-latest)
4m 42s
quick-build (supported, ubuntu-latest)
3m 2s
opam-build (8.17, ubuntu-latest)
5m 4s
build (supported)
2m 56s
quick-build (latest, ubuntu-latest)
2m 40s
build (latest)
2m 41s
opam-build (latest, ubuntu-latest)
4m 19s
quick-build (dev, ubuntu-latest)
2m 38s
build (dev, --warnings)
3m 42s
opam-build (dev, ubuntu-latest)
5m 17s
doc-dep-graphs
0s
doc-coqdoc
0s
doc-alectryon
0s
coqchk
0s
doc-timing
0s
install
0s
deploy-doc
0s
delete-artifacts
8s
40m 26s