Skip to content
.github/workflows/ci.yml

Merge pull request #720 from coq-community/bump-version #899

Sign in to view logs

Merge pull request #720 from coq-community/bump-version

Merge pull request #720 from coq-community/bump-version #899

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
9m 7s
dev-setup-opam (ubuntu-latest, 4.13.x)
7m 57s
install-windows
44m 43s
install-opam (ubuntu-latest, 4.13.x, 8.19+rc1)
8m 47s
build-extension (macos-latest)
1m 52s
install-opam (ubuntu-latest, 4.13.x, dev)
8m 54s
build-extension (ubuntu-latest)
44s
nix-dev-build (ubuntu-latest, coq-8-18)
2m 35s
build-extension (windows-latest)
1m 40s
nix-dev-build (ubuntu-latest, coq-8-19)
2m 45s
nix-dev-build (ubuntu-latest, coq-master)
5m 56s
nix-dev-build (macos-latest, coq-8-18)
7m 44s
nix-dev-build (macos-latest, coq-8-19)
6m 4s
nix-dev-build (macos-latest, coq-master)
18m 11s
create-release
6s
2h 7m 5s