Skip to content
.github/workflows/ci.yml

Merge pull request #732 from coq-community/parse-errors #926

Sign in to view logs

Merge pull request #732 from coq-community/parse-errors

Merge pull request #732 from coq-community/parse-errors #926

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-windows
52m 13s
dev-setup-opam (ubuntu-latest, 4.13.x)
7m 55s
build-extension (macos-latest)
1m 42s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
8m 15s
build-extension (ubuntu-latest)
40s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
8m 4s
nix-dev-build (ubuntu-latest, coq-8-18)
2m 34s
build-extension (windows-latest)
1m 25s
publish-extension
47s
install-opam (ubuntu-latest, 4.13.x, dev)
8m 9s
nix-dev-build (ubuntu-latest, coq-8-19)
2m 34s
nix-dev-build (ubuntu-latest, coq-master)
5m 56s
nix-dev-build (macos-latest, coq-8-18)
9m 26s
nix-dev-build (macos-latest, coq-8-19)
5m 37s
nix-dev-build (macos-latest, coq-master)
18m 5s
create-release
4s
2h 13m 26s