Skip to content
.github/workflows/ci.yml

Cancel parsing event #1361

Sign in to view logs

Cancel parsing event

Cancel parsing event #1361

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-windows
0s
build-extension (macos-latest)
1m 10s
install-opam (ubuntu-latest, 4.14.x, 8.18.0)
8m 27s
dev-setup-opam (ubuntu-latest, 4.14.x, dev)
6m 3s
build-extension (ubuntu-latest)
1m 0s
install-opam (ubuntu-latest, 4.14.x, 8.19.0)
8m 22s
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
6m 15s
build-extension (windows-latest)
1m 54s
install-opam (ubuntu-latest, 4.14.x, 8.20+rc1)
8m 23s
nix-dev-build (ubuntu-latest, coq-8-18, dev)
3m 26s
install-opam (ubuntu-latest, 4.14.x, dev)
8m 40s
nix-dev-build (ubuntu-latest, coq-8-18, fatalwarnings)
3m 28s
publish-extension
1m 9s
nix-dev-build (ubuntu-latest, coq-8-19, dev)
3m 30s
nix-dev-build (ubuntu-latest, coq-8-19, fatalwarnings)
3m 29s
nix-dev-build (ubuntu-latest, coq-master, dev)
4m 31s
nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)
4m 22s
nix-dev-build (macos-latest, coq-8-18, dev)
12m 46s
nix-dev-build (macos-latest, coq-8-18, fatalwarnings)
12m 53s
nix-dev-build (macos-latest, coq-8-19, dev)
13m 16s
nix-dev-build (macos-latest, coq-8-19, fatalwarnings)
19m 47s
nix-dev-build (macos-latest, coq-master, dev)
15m 50s
nix-dev-build (macos-latest, coq-master, fatalwarnings)
12m 44s
create-release
0s
2h 41m 25s