Skip to content
.github/workflows/ci.yml

Better highlights #966

Sign in to view logs

Better highlights

Better highlights #966

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
8m 39s
install-windows
1h 15m 2s
build-extension (macos-latest)
1m 11s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
9m 27s
build-extension (ubuntu-latest)
1m 1s
install-opam (ubuntu-latest, 4.13.x, dev)
8m 50s
build-extension (windows-latest)
2m 25s
dev-setup-opam (ubuntu-latest, 4.13.x)
9m 32s
nix-dev-build (ubuntu-latest, coq-8-18)
3m 15s
nix-dev-build (ubuntu-latest, coq-8-19)
3m 30s
publish-extension
58s
nix-dev-build (ubuntu-latest, coq-master)
6m 31s
nix-dev-build (macos-latest, coq-8-18)
6m 48s
nix-dev-build (macos-latest, coq-8-19)
7m 22s
nix-dev-build (macos-latest, coq-master)
14m 19s
create-release
10s
2h 39m 0s