Skip to content
.github/workflows/ci.yml

Adapt to coq/coq#18422 (indirect accessor handled through vernactypes) #972

Sign in to view logs

Adapt to coq/coq#18422 (indirect accessor handled through vernactypes)

Adapt to coq/coq#18422 (indirect accessor handled through vernactypes) #972

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dev-setup-opam (ubuntu-latest, 4.13.x)
6m 6s
install-windows
47m 1s
build-extension (macos-latest)
1m 1s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
6m 19s
build-extension (ubuntu-latest)
45s
nix-dev-build (ubuntu-latest, coq-8-18)
1m 48s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
6m 11s
publish-extension
44s
build-extension (windows-latest)
2m 59s
install-opam (ubuntu-latest, 4.13.x, dev)
6m 25s
nix-dev-build (ubuntu-latest, coq-8-19)
1m 44s
nix-dev-build (ubuntu-latest, coq-master)
4m 32s
nix-dev-build (macos-latest, coq-8-18)
4m 4s
nix-dev-build (macos-latest, coq-8-19)
3m 54s
nix-dev-build (macos-latest, coq-master)
11m 25s
create-release
0s
1h 44m 58s