Skip to content
.github/workflows/ci.yml

Merge pull request #735 from coq-community/bump-version-2-1-1 #930

Sign in to view logs

Merge pull request #735 from coq-community/bump-version-2-1-1

Merge pull request #735 from coq-community/bump-version-2-1-1 #930

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dev-setup-opam (ubuntu-latest, 4.13.x)
8m 4s
install-windows
51m 38s
build-extension (macos-latest)
1m 48s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
8m 39s
build-extension (ubuntu-latest)
43s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
8m 42s
build-extension (windows-latest)
1m 38s
nix-dev-build (ubuntu-latest, coq-8-18)
2m 54s
install-opam (ubuntu-latest, 4.13.x, dev)
8m 32s
publish-extension
49s
nix-dev-build (ubuntu-latest, coq-8-19)
3m 2s
nix-dev-build (ubuntu-latest, coq-master)
6m 14s
nix-dev-build (macos-latest, coq-8-18)
6m 44s
nix-dev-build (macos-latest, coq-8-19)
5m 12s
nix-dev-build (macos-latest, coq-master)
12m 36s
create-release
5s
2h 7m 20s