Skip to content
.github/workflows/ci.yml

Merge pull request #690 from tomtomjhj/docs #824

Sign in to view logs

Merge pull request #690 from tomtomjhj/docs

Merge pull request #690 from tomtomjhj/docs #824

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dev-setup-opam (ubuntu-latest, 4.13.x)
8m 3s
dev-setup-opam (ubuntu-latest, 4.13.x)
8m 3s
build-extension (macos-latest)
1m 48s
build-extension (macos-latest)
1m 48s
install-opam (ubuntu-latest, 4.13.x)
8m 6s
install-opam (ubuntu-latest, 4.13.x)
8m 6s
build-extension (ubuntu-latest)
39s
build-extension (ubuntu-latest)
39s
install-windows
32m 59s
install-windows
50m 23s
build-extension (windows-latest)
2m 15s
build-extension (windows-latest)
2m 15s
nix-dev-build (ubuntu-latest)
5m 36s
nix-dev-build (ubuntu-latest)
5m 36s
nix-dev-build (macos-latest)
14m 8s
nix-dev-build (macos-latest)
14m 8s
create-release
0s
create-release
9s
2h 44m 41s