Skip to content
.github/workflows/ci.yml

Add api for step navigation in continuous mode. #927

Sign in to view logs

Add api for step navigation in continuous mode.

Add api for step navigation in continuous mode. #927

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-extension (macos-latest)
1m 42s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
8m 25s
install-windows
48m 29s
dev-setup-opam (ubuntu-latest, 4.13.x)
8m 0s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
8m 9s
build-extension (ubuntu-latest)
42s
install-opam (ubuntu-latest, 4.13.x, dev)
8m 13s
build-extension (windows-latest)
2m 5s
publish-extension
45s
nix-dev-build (ubuntu-latest, coq-8-18)
2m 33s
nix-dev-build (ubuntu-latest, coq-8-19)
2m 33s
nix-dev-build (ubuntu-latest, coq-master)
5m 49s
nix-dev-build (macos-latest, coq-8-18)
5m 13s
nix-dev-build (macos-latest, coq-8-19)
6m 10s
nix-dev-build (macos-latest, coq-master)
17m 1s
create-release
5s
2h 5m 54s