Skip to content
.github/workflows/ci.yml

Adapt w.r.t coq/coq#20167. #1524

Sign in to view logs

Adapt w.r.t coq/coq#20167.

Adapt w.r.t coq/coq#20167. #1524

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-opam (ubuntu-latest, 4.14.x, 8.18.0)
7m 34s
dev-setup-opam (ubuntu-latest, 4.14.x, dev)
8m 50s
install-opam (ubuntu-latest, 4.14.x, 8.19.0)
7m 37s
install-windows
0s
build-extension (macos-latest)
1m 14s
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
8m 33s
install-opam (ubuntu-latest, 4.14.x, 8.20.0)
7m 32s
build-extension (ubuntu-latest)
58s
publish-extension
1m 11s
install-opam (ubuntu-latest, 4.14.x, dev)
8m 26s
build-extension (windows-latest)
3m 27s
nix-dev-build (ubuntu-latest, 8-18, dev)
3m 35s
nix-dev-build (ubuntu-latest, 8-18, fatalwarnings)
1m 34s
nix-dev-build (ubuntu-latest, 8-19, dev)
3m 25s
nix-dev-build (ubuntu-latest, 8-19, fatalwarnings)
1m 23s
nix-dev-build (ubuntu-latest, 8-20, dev)
3m 18s
nix-dev-build (ubuntu-latest, 8-20, fatalwarnings)
1m 22s
nix-dev-build (ubuntu-latest, master, dev)
1m 15s
nix-dev-build (ubuntu-latest, master, fatalwarnings)
1m 12s
nix-dev-build (macos-latest, 8-18, dev)
4m 29s
nix-dev-build (macos-latest, 8-18, fatalwarnings)
3m 45s
nix-dev-build (macos-latest, 8-19, dev)
5m 26s
nix-dev-build (macos-latest, 8-19, fatalwarnings)
4m 50s
nix-dev-build (macos-latest, 8-20, dev)
4m 58s
nix-dev-build (macos-latest, 8-20, fatalwarnings)
3m 26s
nix-dev-build (macos-latest, master, dev)
2m 34s
nix-dev-build (macos-latest, master, fatalwarnings)
3m 10s
create-release
0s
1h 45m 4s