Skip to content
CI

chore: move Tests.v to test/ folder #1545

Sign in to view logs

chore: move Tests.v to test/ folder

chore: move Tests.v to test/ folder #1545

Run time

Learn about OS pricing on GitHub Actions
Job Run time
nix
1m 38s
opam-build (supported, ubuntu-latest)
1m 34s
opam-build (8.17, ubuntu-latest)
1m 32s
opam-build (latest, ubuntu-latest)
1m 33s
opam-build (dev, ubuntu-latest)
1m 35s
build (supported)
1m 31s
build (latest)
1m 36s
build (dev, --warnings)
1m 35s
quick-build (supported, ubuntu-latest)
1m 33s
quick-build (latest, ubuntu-latest)
1m 34s
quick-build (dev, ubuntu-latest)
1m 32s
coqchk
1s
doc-dep-graphs
1s
doc-coqdoc
1s
doc-alectryon
1s
doc-timing
1s
install
1s
deploy-doc
1s
delete-artifacts
5s
17m 25s