Skip to content
.github/workflows/ci.yml

feat: jump to definition proof of concept #1308

Sign in to view logs

feat: jump to definition proof of concept

feat: jump to definition proof of concept #1308

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dev-setup-opam (ubuntu-latest, 4.14.x, dev)
5m 52s
build-extension (macos-latest)
56s
install-opam (ubuntu-latest, 4.14.x, 8.18.0)
6m 41s
install-windows
0s
build-extension (ubuntu-latest)
57s
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
5m 51s
install-opam (ubuntu-latest, 4.14.x, 8.19.0)
6m 23s
build-extension (windows-latest)
6m 31s
install-opam (ubuntu-latest, 4.14.x, 8.20+rc1)
5m 57s
install-opam (ubuntu-latest, 4.14.x, dev)
5m 57s
nix-dev-build (ubuntu-latest, coq-8-18, dev)
1m 27s
publish-extension
1m 10s
nix-dev-build (ubuntu-latest, coq-8-18, fatalwarnings)
1m 26s
nix-dev-build (ubuntu-latest, coq-8-19, dev)
1m 26s
nix-dev-build (ubuntu-latest, coq-8-19, fatalwarnings)
1m 27s
nix-dev-build (ubuntu-latest, coq-master, dev)
6m 24s
nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)
6m 28s
nix-dev-build (macos-latest, coq-8-18, dev)
2m 31s
nix-dev-build (macos-latest, coq-8-18, fatalwarnings)
2m 39s
nix-dev-build (macos-latest, coq-8-19, dev)
2m 31s
nix-dev-build (macos-latest, coq-8-19, fatalwarnings)
3m 4s
nix-dev-build (macos-latest, coq-master, dev)
9m 31s
nix-dev-build (macos-latest, coq-master, fatalwarnings)
7m 37s
create-release
0s
1h 32m 46s