Skip to content
.github/workflows/ci.yml

wip: coq interruption #1566

Sign in to view logs

wip: coq interruption

wip: coq interruption #1566

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-windows
0s
dev-setup-opam (ubuntu-latest, 4.14.x, dev)
7m 22s
build-extension (macos-latest)
55s
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
7m 18s
install-opam (ubuntu-latest, 4.14.x, 8.18.0)
5m 30s
build-extension (ubuntu-latest)
1m 2s
install-opam (ubuntu-latest, 4.14.x, 8.19.0)
5m 54s
build-extension (windows-latest)
4m 35s
nix-dev-build (ubuntu-latest, 8-18, dev)
1m 50s
publish-extension
1m 10s
install-opam (ubuntu-latest, 4.14.x, 8.20.0)
5m 9s
nix-dev-build (ubuntu-latest, 8-18, fatalwarnings)
1m 47s
install-opam (ubuntu-latest, 4.14.x, dev)
6m 5s
nix-dev-build (ubuntu-latest, 8-19, dev)
1m 37s
nix-dev-build (ubuntu-latest, 8-19, fatalwarnings)
1m 34s
nix-dev-build (ubuntu-latest, 8-20, dev)
1m 36s
nix-dev-build (ubuntu-latest, 8-20, fatalwarnings)
1m 38s
nix-dev-build (ubuntu-latest, master, dev)
2m 31s
nix-dev-build (ubuntu-latest, master, fatalwarnings)
2m 27s
nix-dev-build (macos-latest, 8-18, dev)
3m 47s
nix-dev-build (macos-latest, 8-18, fatalwarnings)
4m 57s
nix-dev-build (macos-latest, 8-19, dev)
3m 47s
nix-dev-build (macos-latest, 8-19, fatalwarnings)
4m 45s
nix-dev-build (macos-latest, 8-20, dev)
4m 17s
nix-dev-build (macos-latest, 8-20, fatalwarnings)
4m 31s
nix-dev-build (macos-latest, master, dev)
6m 53s
nix-dev-build (macos-latest, master, fatalwarnings)
6m 29s
create-release
0s
1h 39m 26s