Skip to content
CI (Coq, Alpine)

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

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" #802

Run time

Learn about OS pricing on GitHub Actions
Job Run time
alpine-edge
2h 52m 27s
test-standalone-edge
16s
publish-standalone
18s
alpine-check-all
1s
2h 53m 2s