Skip to content
.github/workflows/ci.yml

Merge pull request #533 from coq-community/bug/goal-view-notif #559

Sign in to view logs

Merge pull request #533 from coq-community/bug/goal-view-notif

Merge pull request #533 from coq-community/bug/goal-view-notif #559

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-windows
1h 8m 12s
dev-setup-opam (ubuntu-latest, 4.14.x)
13m 20s
install-opam (ubuntu-latest, 4.14.x)
14m 27s
build-extension (macos-latest)
3m 41s
build-extension (ubuntu-latest)
56s
build-extension (windows-latest)
4m 18s
nix-dev-build (ubuntu-latest)
10m 14s
nix-dev-build (macos-latest)
17m 7s
release-opam (ubuntu-latest, 4.14.x)
13m 46s
2h 26m 1s