Skip to content
CI (Coq, docker, dev)

[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 #732

Sign in to view logs

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

[CI] Pin action steps that use setup-ocaml to ubuntu 22.04 #732

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-master
1h 26m 28s
publish-standalone-dry-run
23s
test-standalone (master, dev, default)
1m 25s
build-js-of-ocaml (master, 4.11.1)
16m 8s
generated-files (master)
23m 32s
build-wasm-of-ocaml (master, 4.14.1)
21m 17s
validate-docker-master
3m 10s
standalone-haskell (master)
46m 0s
test-amd64
2h 17m 46s
deploy-js-wasm-of-ocaml
58s
docker-check-all
2s
5h 37m 9s