Skip to content
.github/workflows/ci.yml

Support per-file _CoqProject #1358

Sign in to view logs

Support per-file _CoqProject

Support per-file _CoqProject #1358

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-extension (macos-latest)
50s
install-windows
0s
dev-setup-opam (ubuntu-latest, 4.14.x, dev)
5m 58s
install-opam (ubuntu-latest, 4.14.x, 8.18.0)
6m 29s
build-extension (ubuntu-latest)
57s
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
5m 59s
install-opam (ubuntu-latest, 4.14.x, 8.19.0)
6m 43s
build-extension (windows-latest)
1m 58s
install-opam (ubuntu-latest, 4.14.x, 8.20+rc1)
6m 21s
nix-dev-build (ubuntu-latest, coq-8-18, dev)
1m 30s
publish-extension
1m 21s
install-opam (ubuntu-latest, 4.14.x, dev)
4m 47s
nix-dev-build (ubuntu-latest, coq-8-18, fatalwarnings)
1m 34s
nix-dev-build (ubuntu-latest, coq-8-19, dev)
1m 28s
nix-dev-build (ubuntu-latest, coq-8-19, fatalwarnings)
1m 33s
nix-dev-build (ubuntu-latest, coq-master, dev)
4m 20s
nix-dev-build (ubuntu-latest, coq-master, fatalwarnings)
4m 33s
nix-dev-build (macos-latest, coq-8-18, dev)
11m 16s
nix-dev-build (macos-latest, coq-8-18, fatalwarnings)
12m 21s
nix-dev-build (macos-latest, coq-8-19, dev)
6m 11s
nix-dev-build (macos-latest, coq-8-19, fatalwarnings)
12m 6s
nix-dev-build (macos-latest, coq-master, dev)
14m 24s
nix-dev-build (macos-latest, coq-master, fatalwarnings)
17m 55s
create-release
0s
2h 10m 34s