Skip to content
CI (Coq, docker, dev)

[CI] [Windows] Attempt to fix Windows CI (#1962) #717

Sign in to view logs

[CI] [Windows] Attempt to fix Windows CI (#1962)

[CI] [Windows] Attempt to fix Windows CI (#1962) #717

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-master
1h 25m 12s
publish-standalone-dry-run
19s
test-standalone (master, dev, default)
1m 35s
build-js-of-ocaml (master, 4.11.1)
12m 41s
build-wasm-of-ocaml (master, 4.14.1)
2h 18m 37s
test-amd64
2h 17m 58s
generated-files (master)
30s
standalone-haskell (master)
45m 27s
validate-docker-master
21m 4s
deploy-js-wasm-of-ocaml
0s
docker-check-all
2s
7h 23m 25s