Skip to content
CI (Coq, docker, dev)

Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 #31

Sign in to view logs

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

Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 #31

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-master
1h 25m 43s
publish-standalone-dry-run
15s
test-standalone (master, dev, default)
1m 21s
validate-docker-master
2m 23s
build-js-of-ocaml (master, 4.11.1)
16m 1s
standalone-haskell (master)
48m 56s
build-wasm-of-ocaml (master, 4.14.1)
2h 36m 35s
generated-files (master)
22m 14s
test-amd64
2h 17m 48s
deploy-js-wasm-of-ocaml
28s
docker-check-all
8s
7h 51m 52s