Skip to content
CI (Coq, docker, dev)

[CI] [Windows] fix git config with bash #702

Sign in to view logs

[CI] [Windows] fix git config with bash

[CI] [Windows] fix git config with bash #702

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-master
1h 25m 43s
publish-standalone-dry-run
19s
test-standalone (master, dev, default)
1m 26s
build-js-of-ocaml (master, 4.11.1)
12m 16s
build-wasm-of-ocaml (master, 4.14.1)
2m 33s
validate-docker-master
20m 31s
standalone-haskell (master)
45m 24s
generated-files (master)
30s
test-amd64
2h 17m 33s
deploy-js-wasm-of-ocaml
0s
docker-check-all
4s
5h 6m 19s