Skip to content
.github/workflows/ci.yml

Adapt w.r.t. coq/coq#18652. #895

Sign in to view logs

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

Adapt w.r.t. coq/coq#18652. #895

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-windows
55m 21s
dev-setup-opam (ubuntu-latest, 4.13.x)
6m 2s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
8m 17s
build-extension (macos-latest)
1m 11s
install-opam (ubuntu-latest, 4.13.x, 8.19+rc1)
8m 27s
build-extension (ubuntu-latest)
42s
install-opam (ubuntu-latest, 4.13.x, dev)
1m 23s
nix-dev-build (ubuntu-latest, coq-8-18)
2m 32s
build-extension (windows-latest)
2m 2s
nix-dev-build (ubuntu-latest, coq-8-19)
2m 35s
nix-dev-build (ubuntu-latest, coq-master)
4m 6s
nix-dev-build (macos-latest, coq-8-18)
5m 32s
nix-dev-build (macos-latest, coq-8-19)
5m 30s
nix-dev-build (macos-latest, coq-master)
9m 18s
create-release
0s
1h 52m 58s