Skip to content
CI (Coq, docker, dev)

Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 #728

Sign in to view logs

Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8

Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 #728

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-master
1h 25m 13s
docker-master
1h 25m 13s
publish-standalone-dry-run
17s
publish-standalone-dry-run
17s
test-standalone (master, dev, default)
1m 23s
test-standalone (master, dev, default)
1m 23s
generated-files (master)
24m 23s
generated-files (master)
24m 23s
build-js-of-ocaml (master, 4.11.1)
20s
build-js-of-ocaml (master, 4.11.1)
15s
standalone-haskell (master)
47m 11s
standalone-haskell (master)
47m 11s
validate-docker-master
2m 19s
validate-docker-master
2m 19s
build-wasm-of-ocaml (master, 4.14.1)
21s
build-wasm-of-ocaml (master, 4.14.1)
30s
test-amd64
2h 17m 49s
test-amd64
2h 17m 49s
deploy-js-wasm-of-ocaml
0s
deploy-js-wasm-of-ocaml
0s
docker-check-all
3s
docker-check-all
4s
9h 58m 43s