Skip to content
.github/workflows/ci.yml

Prepare release 2.1.0 #888

Sign in to view logs

Prepare release 2.1.0

Prepare release 2.1.0 #888

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-windows
1h 36m 48s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
9m 0s
dev-setup-opam (ubuntu-latest, 4.13.x)
8m 15s
install-opam (ubuntu-latest, 4.13.x, 8.19+rc1)
9m 11s
build-extension (macos-latest)
1m 57s
install-opam (ubuntu-latest, 4.13.x, dev)
9m 56s
nix-dev-build (ubuntu-latest, coq-8-18)
2m 43s
build-extension (ubuntu-latest)
48s
nix-dev-build (ubuntu-latest, coq-8-19)
3m 5s
build-extension (windows-latest)
5m 39s
nix-dev-build (ubuntu-latest, coq-master)
6m 0s
nix-dev-build (macos-latest, coq-8-18)
5m 25s
nix-dev-build (macos-latest, coq-8-19)
7m 12s
nix-dev-build (macos-latest, coq-master)
19m 12s
create-release
8s
3h 5m 19s