Skip to content
.github/workflows/ci.yml

Merge pull request #927 from Lysxia/b #1320

Sign in to view logs

Merge pull request #927 from Lysxia/b

Merge pull request #927 from Lysxia/b #1320

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-windows
0s
build-extension (macos-latest)
46s
install-opam (ubuntu-latest, 4.14.x, 8.18.0)
8m 55s
dev-setup-opam (ubuntu-latest, 4.14.x, dev)
8m 3s
build-extension (ubuntu-latest)
55s
install-opam (ubuntu-latest, 4.14.x, 8.19.0)
8m 34s
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
8m 11s
build-extension (windows-latest)
3m 17s
nix-dev-build (ubuntu-latest, coq-8-18, dev)
3m 28s
install-opam (ubuntu-latest, 4.14.x, 8.20+rc1)
8m 6s
nix-dev-build (ubuntu-latest, coq-8-18, fatalwarnings)
3m 26s
install-opam (ubuntu-latest, 4.14.x, dev)
8m 40s
nix-dev-build (ubuntu-latest, coq-8-19, dev)
3m 38s
publish-extension
1m 8s
nix-dev-build (ubuntu-latest, coq-8-19, fatalwarnings)
3m 42s
nix-dev-build (ubuntu-latest, coq-master, dev)
6m 39s
nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)
6m 37s
nix-dev-build (macos-latest, coq-8-18, dev)
4m 4s
nix-dev-build (macos-latest, coq-8-18, fatalwarnings)
4m 1s
nix-dev-build (macos-latest, coq-8-19, dev)
4m 34s
nix-dev-build (macos-latest, coq-8-19, fatalwarnings)
4m 8s
nix-dev-build (macos-latest, coq-master, dev)
7m 55s
nix-dev-build (macos-latest, coq-master, fatalwarnings)
7m 20s
create-release
10s
1h 56m 17s