Skip to content
.github/workflows/ci.yml

Merge pull request #724 from coq-community/rtetley-patch-1 #904

Sign in to view logs

Merge pull request #724 from coq-community/rtetley-patch-1

Merge pull request #724 from coq-community/rtetley-patch-1 #904

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-extension (macos-latest)
1m 21s
build-extension (ubuntu-latest)
40s
build-extension (windows-latest)
4m 4s
dev-setup-opam (ubuntu-latest, 4.13.x)
7m 49s
install-windows
39m 42s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
8m 39s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
8m 5s
nix-dev-build (ubuntu-latest, coq-8-18)
2m 37s
install-opam (ubuntu-latest, 4.13.x, dev)
8m 13s
nix-dev-build (ubuntu-latest, coq-8-19)
2m 35s
nix-dev-build (ubuntu-latest, coq-master)
6m 21s
nix-dev-build (macos-latest, coq-8-18)
6m 22s
nix-dev-build (macos-latest, coq-8-19)
6m 33s
nix-dev-build (macos-latest, coq-master)
15m 27s
create-release
8s
1h 58m 36s