Skip to content
.github/workflows/ci.yml

Remove document from state table when it is closed. #947

Sign in to view logs

Remove document from state table when it is closed.

Remove document from state table when it is closed. #947

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install-windows
1h 2m 50s
build-extension (macos-latest)
1m 4s
dev-setup-opam (ubuntu-latest, 4.13.x)
12m 33s
build-extension (ubuntu-latest)
48s
build-extension (windows-latest)
2m 59s
install-opam (ubuntu-latest, 4.13.x, 8.18.0)
11m 20s
nix-dev-build (ubuntu-latest, coq-8-18)
3m 2s
install-opam (ubuntu-latest, 4.13.x, 8.19.0)
10m 59s
nix-dev-build (ubuntu-latest, coq-8-19)
3m 0s
publish-extension
48s
install-opam (ubuntu-latest, 4.13.x, dev)
11m 51s
nix-dev-build (ubuntu-latest, coq-master)
5m 53s
nix-dev-build (macos-latest, coq-8-18)
5m 1s
nix-dev-build (macos-latest, coq-8-19)
5m 14s
nix-dev-build (macos-latest, coq-master)
20m 7s
create-release
5s
2h 37m 34s