Skip to content
CI (Coq, Debian)

Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04" #1011

Sign in to view logs

Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04"

Revert "[CI] Pin action steps that use setup-ocaml to ubuntu 22.04" #1011

Run time

Learn about OS pricing on GitHub Actions
Job Run time
debian-sid
2h 59m 14s
publish-standalone-dry-run
17s
test-standalone-host (sid)
19s
test-standalone-container (sid)
18s
debian-check-all
1s
3h 0m 9s