Skip to content
Back to pull request #945

Support per-file _CoqProject #1359

Sign in to view logs

Support per-file _CoqProject

Support per-file _CoqProject #1359

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dev-setup-opam (ubuntu-latest, 4.14.x, dev)
6m 8s
build-extension (macos-latest)
55s
install-windows
0s
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
5m 55s
install-opam (ubuntu-latest, 4.14.x, 8.18.0)
6m 32s
build-extension (ubuntu-latest)
55s
install-opam (ubuntu-latest, 4.14.x, 8.19.0)
9m 3s
build-extension (windows-latest)
4m 11s
install-opam (ubuntu-latest, 4.14.x, 8.20+rc1)
6m 18s
publish-extension
1m 37s
nix-dev-build (ubuntu-latest, coq-8-18, dev)
1m 27s
install-opam (ubuntu-latest, 4.14.x, dev)
4m 57s
nix-dev-build (ubuntu-latest, coq-8-18, fatalwarnings)
1m 30s
nix-dev-build (ubuntu-latest, coq-8-19, dev)
1m 25s
nix-dev-build (ubuntu-latest, coq-8-19, fatalwarnings)
1m 36s
nix-dev-build (ubuntu-latest, coq-master, dev)
4m 25s
nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)
4m 22s
nix-dev-build (macos-latest, coq-8-18, dev)
12m 18s
nix-dev-build (macos-latest, coq-8-18, fatalwarnings)
6m 19s
nix-dev-build (macos-latest, coq-8-19, dev)
5m 7s
nix-dev-build (macos-latest, coq-8-19, fatalwarnings)
10m 9s
nix-dev-build (macos-latest, coq-master, dev)
15m 34s
nix-dev-build (macos-latest, coq-master, fatalwarnings)
9m 2s
create-release
0s
1h 59m 45s