Skip to content
.github/workflows/ci.yml

Migrate to yarn v4 #910

Sign in to view logs

Migrate to yarn v4

Migrate to yarn v4 #910

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dev-setup-opam (ubuntu-latest, 4.13.x)
7m 5s
install-windows
53m 10s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
6m 22s
build-extension (macos-latest)
9s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
6m 17s
build-extension (ubuntu-latest)
10s
publish-extension
6s
install-opam (ubuntu-latest, 4.13.x, dev)
6m 16s
build-extension (windows-latest)
16s
nix-dev-build (ubuntu-latest, coq-8-18)
2m 45s
nix-dev-build (ubuntu-latest, coq-8-19)
2m 52s
nix-dev-build (ubuntu-latest, coq-master)
6m 1s
nix-dev-build (macos-latest, coq-8-18)
7m 13s
nix-dev-build (macos-latest, coq-8-19)
4m 32s
nix-dev-build (macos-latest, coq-master)
22m 20s
create-release
0s
2h 5m 34s