Skip to content
.github/workflows/ci.yml

Bump vite from 2.9.17 to 2.9.18 in /client/search-ui #971

Sign in to view logs

Bump vite from 2.9.17 to 2.9.18 in /client/search-ui

Bump vite from 2.9.17 to 2.9.18 in /client/search-ui #971

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-extension (macos-latest)
1m 20s
dev-setup-opam (ubuntu-latest, 4.13.x)
7m 59s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
8m 23s
build-extension (ubuntu-latest)
44s
install-windows
1h 0m 32s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
9m 56s
build-extension (windows-latest)
2m 44s
install-opam (ubuntu-latest, 4.13.x, dev)
8m 33s
nix-dev-build (ubuntu-latest, coq-8-18)
45s
publish-extension
51s
nix-dev-build (ubuntu-latest, coq-8-19)
46s
nix-dev-build (ubuntu-latest, coq-master)
47s
nix-dev-build (macos-latest, coq-8-18)
2m 28s
nix-dev-build (macos-latest, coq-8-19)
3m 2s
nix-dev-build (macos-latest, coq-master)
2m 36s
create-release
0s
1h 51m 26s