Skip to content
.github/workflows/ci.yml

Prepare minor release #1081

Sign in to view logs

Prepare minor release

Prepare minor release #1081

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dev-setup-opam (ubuntu-latest, 4.13.x, dev)
10m 27s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
10m 53s
install-windows
0s
dev-setup-opam (ubuntu-latest, 4.13.x, fatalwarnings)
10m 19s
build-extension (macos-latest)
39s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
10m 33s
build-extension (ubuntu-latest)
46s
install-opam (ubuntu-latest, 4.13.x, dev)
10m 13s
build-extension (windows-latest)
3m 51s
publish-extension
51s
nix-dev-build (ubuntu-latest, coq-8-18, dev)
3m 13s
nix-dev-build (ubuntu-latest, coq-8-18, fatalwarnings)
3m 24s
nix-dev-build (ubuntu-latest, coq-8-19, dev)
3m 10s
nix-dev-build (ubuntu-latest, coq-8-19, fatalwarnings)
3m 24s
nix-dev-build (ubuntu-latest, coq-master, dev)
6m 20s
nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)
6m 19s
nix-dev-build (macos-latest, coq-8-18, dev)
3m 45s
nix-dev-build (macos-latest, coq-8-18, fatalwarnings)
4m 19s
nix-dev-build (macos-latest, coq-8-19, dev)
4m 24s
nix-dev-build (macos-latest, coq-8-19, fatalwarnings)
4m 54s
nix-dev-build (macos-latest, coq-master, dev)
9m 6s
nix-dev-build (macos-latest, coq-master, fatalwarnings)
7m 26s
create-release
0s
1h 58m 16s