Skip to content
CI (Coq, docker, dev)

Adapt to https://github.com/coq/coq/pull/18590 (#1821) #383

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/18590 (#1821)

Adapt to https://github.com/coq/coq/pull/18590 (#1821) #383

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-master
1h 40m 33s
test-standalone (master, dev, default)
55s
publish-standalone-dry-run
14s
validate-docker-master
32m 55s
build-js-of-ocaml (master, 4.11.1)
17m 35s
build-wasm-of-ocaml (master, 4.14.1)
12m 44s
standalone-haskell (master)
52m 46s
generated-files (master)
36s
test-amd64
2h 18m 17s
deploy-js-wasm-of-ocaml
28s
docker-check-all
1s
5h 57m 4s