Skip to content
.github/workflows/ci.yml

Merge pull request #706 from coq-community/fix-vscode-test #866

Sign in to view logs

Merge pull request #706 from coq-community/fix-vscode-test

Merge pull request #706 from coq-community/fix-vscode-test #866

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-opam (ubuntu-latest, 4.13.x)
15s
install-opam (ubuntu-latest, 4.13.x)
15s
install-windows
14s
install-windows
14s
build-extension (macos-latest)
31s
build-extension (macos-latest)
31s
dev-setup-opam (ubuntu-latest, 4.13.x)
14s
dev-setup-opam (ubuntu-latest, 4.13.x)
24s
build-extension (ubuntu-latest)
27s
build-extension (ubuntu-latest)
27s
nix-dev-build (ubuntu-latest)
28s
nix-dev-build (ubuntu-latest)
28s
build-extension (windows-latest)
14s
build-extension (windows-latest)
14s
nix-dev-build (macos-latest)
7s
nix-dev-build (macos-latest)
7s
create-release
1s
create-release
1s
5m 12s