Skip to content
.github/workflows/ci.yml

[parser] use the loc of the prev sentence to feed the parser #1106

Sign in to view logs

[parser] use the loc of the prev sentence to feed the parser

[parser] use the loc of the prev sentence to feed the parser #1106

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-windows
0s
dev-setup-opam (ubuntu-latest, 4.13.x, dev)
10m 46s
build-extension (macos-latest)
40s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
10m 23s
dev-setup-opam (ubuntu-latest, 4.13.x, fatalwarnings)
10m 14s
build-extension (ubuntu-latest)
53s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
10m 54s
build-extension (windows-latest)
2m 20s
nix-dev-build (ubuntu-latest, coq-8-18, dev)
3m 20s
install-opam (ubuntu-latest, 4.13.x, dev)
10m 18s
publish-extension
48s
nix-dev-build (ubuntu-latest, coq-8-18, fatalwarnings)
3m 7s
nix-dev-build (ubuntu-latest, coq-8-19, dev)
3m 11s
nix-dev-build (ubuntu-latest, coq-8-19, fatalwarnings)
3m 10s
nix-dev-build (ubuntu-latest, coq-master, dev)
6m 10s
nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)
6m 22s
nix-dev-build (macos-latest, coq-8-18, dev)
4m 12s
nix-dev-build (macos-latest, coq-8-18, fatalwarnings)
4m 25s
nix-dev-build (macos-latest, coq-8-19, dev)
3m 56s
nix-dev-build (macos-latest, coq-8-19, fatalwarnings)
4m 13s
nix-dev-build (macos-latest, coq-master, dev)
7m 11s
nix-dev-build (macos-latest, coq-master, fatalwarnings)
7m 55s
create-release
4s
1h 54m 32s