Bump actions/setup-java from 4.4.0 to 4.5.0 #745
Triggered via pull request
October 25, 2024 04:33
dependabot[bot]
Status
Success
Total duration
3h 42m 14s
Artifacts
10
coq-docker.yml
on: pull_request
Matrix: build
Matrix: build-js-of-ocaml
Matrix: build-wasm-of-ocaml
Matrix: generated-files
Matrix: standalone-haskell
Matrix: test-standalone
Matrix: validate
docker-check-all
3s
Annotations
4 warnings
|
publish-standalone-dry-run
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
|
publish-standalone-dry-run
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
|
deploy-js-wasm-of-ocaml
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
|
deploy-js-wasm-of-ocaml
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-master
Expired
|
339 MB |
sha256:2f171cb83c6863a51f6b2d9972ef074784b527b2874d5bff0b02a246a64b601c
|
|
|
ExtractionHaskell-source-master
Expired
|
23.5 MB |
sha256:13bb4846a945244bf84f031241437ae169818886a180800355ad724d0ae155b6
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
Expired
|
137 MB |
sha256:cd18fd25b168d178ab44d021381305c3edeecae25e3a27e781c92c5744162cbd
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
Expired
|
191 MB |
sha256:65df47fb212ff1b09cca5dd3eecdafbffa65608a6d1c5c158b054b5f6b2d932f
|
|
|
ExtractionJsOfOCaml-source-master
Expired
|
6.05 MB |
sha256:277d7ccbb86adb045909eebd782807f6208a093dbb5a7f1b52903674f9e2979e
|
|
|
ExtractionOCaml-master
Expired
|
863 MB |
sha256:0447c48c90d77d78c52bc0631eaae07136de71c897ef2206aab4626d6186da0f
|
|
|
build-outputs-docker-coq-dev-ocaml-default
Expired
|
1000 MB |
sha256:5963b7966553b655aff91a4b761ce500fdc78cbb418d07a9e467db934ca3e711
|
|
|
fiat-html-js-of-ocaml
Expired
|
4.25 MB |
sha256:711d49000b211250c502a5bfc3114413ed0b71b417230494a2e5b409a76b84fe
|
|
|
fiat-html-wasm-of-ocaml
Expired
|
11.8 MB |
sha256:e894c95d3140c2eb9c65fd64812c7d8284fe911afd0632d8dcccfedadeae1cf6
|
|
|
standalone-docker-coq-dev
Expired
|
11.7 MB |
sha256:490aeb0bcf45988796edfeebf65608c5cc411bf92d0aafc181939da1414b31d0
|
|