Skip to content
CI (Coq, docker, dev)

[do not merge] bench garagedoor build with -j on Arch #395

Sign in to view logs

[do not merge] bench garagedoor build with -j on Arch

[do not merge] bench garagedoor build with -j on Arch #395

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-master
1h 38m 33s
publish-standalone-dry-run
13s
test-standalone (master, dev, default)
1m 2s
build-js-of-ocaml (master, 4.11.1)
14m 10s
build-wasm-of-ocaml (master, 4.14.1)
13m 1s
generated-files (master)
26m 52s
standalone-haskell (master)
54m 39s
test-amd64
2h 19m 20s
validate-docker-master
1m 23s
deploy-js-wasm-of-ocaml
29s
docker-check-all
15s
5h 49m 57s