Skip to content
.github/workflows/ci.yml

wip: coq interruption #1569

Sign in to view logs

wip: coq interruption

wip: coq interruption #1569

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-windows
0s
build-extension (macos-latest)
56s
install-opam (ubuntu-latest, 4.14.x, 8.18.0)
5m 28s
dev-setup-opam (ubuntu-latest, 4.14.x, dev)
6m 51s
build-extension (ubuntu-latest)
1m 1s
install-opam (ubuntu-latest, 4.14.x, 8.19.0)
5m 16s
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
7m 9s
build-extension (windows-latest)
3m 34s
install-opam (ubuntu-latest, 4.14.x, 8.20.0)
5m 10s
install-opam (ubuntu-latest, 4.14.x, dev)
5m 56s
nix-dev-build (ubuntu-latest, 8-18, dev)
1m 50s
publish-extension
1m 14s
nix-dev-build (ubuntu-latest, 8-18, fatalwarnings)
1m 51s
nix-dev-build (ubuntu-latest, 8-19, dev)
1m 35s
nix-dev-build (ubuntu-latest, 8-19, fatalwarnings)
1m 42s
nix-dev-build (ubuntu-latest, 8-20, dev)
1m 38s
nix-dev-build (ubuntu-latest, 8-20, fatalwarnings)
1m 40s
nix-dev-build (ubuntu-latest, master, dev)
2m 32s
nix-dev-build (ubuntu-latest, master, fatalwarnings)
2m 28s
nix-dev-build (macos-latest, 8-18, dev)
3m 21s
nix-dev-build (macos-latest, 8-18, fatalwarnings)
4m 22s
nix-dev-build (macos-latest, 8-19, dev)
5m 22s
nix-dev-build (macos-latest, 8-19, fatalwarnings)
4m 19s
nix-dev-build (macos-latest, 8-20, dev)
4m 14s
nix-dev-build (macos-latest, 8-20, fatalwarnings)
3m 41s
nix-dev-build (macos-latest, master, dev)
6m 31s
nix-dev-build (macos-latest, master, fatalwarnings)
5m 33s
create-release
0s
1h 35m 14s