Skip to content
.github/workflows/ci.yml

Coq 8.19 #883

Sign in to view logs

Coq 8.19

Coq 8.19 #883

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dev-setup-opam (ubuntu-latest, 4.13.x)
8m 19s
install-windows
0s
build-extension (macos-latest)
1m 9s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
9m 27s
build-extension (ubuntu-latest)
40s
install-opam (ubuntu-latest, 4.13.x, 8.19+rc1)
9m 53s
nix-dev-build (ubuntu-latest, coq-8-18)
2m 39s
build-extension (windows-latest)
2m 47s
install-opam (ubuntu-latest, 4.13.x, dev)
9m 14s
nix-dev-build (ubuntu-latest, coq-8-19)
2m 32s
nix-dev-build (ubuntu-latest, coq-master)
5m 47s
nix-dev-build (macos-latest, coq-8-18)
5m 26s
nix-dev-build (macos-latest, coq-8-19)
6m 6s
nix-dev-build (macos-latest, coq-master)
19m 18s
create-release
0s
1h 23m 17s