Skip to content
.github/workflows/ci.yml

Fix ci #906

Sign in to view logs

Fix ci

Fix ci #906

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dev-setup-opam (ubuntu-latest, 4.13.x)
7m 58s
install-windows
42m 17s
build-extension (macos-latest)
1m 27s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
8m 19s
build-extension (ubuntu-latest)
46s
nix-dev-build (ubuntu-latest, coq-8-18)
2m 37s
build-extension (windows-latest)
1m 38s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
8m 4s
publish-extension
57s
nix-dev-build (ubuntu-latest, coq-8-19)
2m 42s
install-opam (ubuntu-latest, 4.13.x, dev)
8m 1s
nix-dev-build (ubuntu-latest, coq-master)
5m 58s
nix-dev-build (macos-latest, coq-8-18)
6m 9s
nix-dev-build (macos-latest, coq-8-19)
6m 54s
nix-dev-build (macos-latest, coq-master)
12m 0s
create-release
4s
1h 55m 51s