Skip to content
CI (Coq, docker, dev)

Bump rupicola from 59751db to 4af4dff #1041

Sign in to view logs

Bump rupicola from 59751db to 4af4dff

Bump rupicola from 59751db to 4af4dff #1041

Run time

Learn about OS pricing on GitHub Actions
Job Run time
docker-master
47m 35s
build-wasm-of-ocaml
-1s
generated-files
-1s
build-js-of-ocaml
-1s
publish-standalone-dry-run
-1s
test-standalone
-1s
standalone-haskell
-1s
validate-docker-${{ matrix.env.COQ_VERSION }}
-1s
test-amd64
-1s
docker-check-all
4s
deploy-js-wasm-of-ocaml
0s
47m 31s