Bump rupicola from 7858221 to e5546cf
#957
Triggered via pull request
March 12, 2025 22:43
dependabot[bot]
Status
Success
Total duration
10h 29m 23s
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
4s
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
|
339 MB |
sha256:af35039e578fb5736021aa4ee1dc299d7eaf259f216fa5f193c768e8ff31bb0b
|
|
|
ExtractionHaskell-source-master
|
23.8 MB |
sha256:a9f4d3879c74e957a7219cf766d3c13a3d5731a3588a085c59177a355cb1f5bd
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
|
138 MB |
sha256:9633ca82d86886a6ca7601842bb7ad8050cd01cf0d937a6531e49d4a309115b6
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
|
190 MB |
sha256:f43dac41f97cc7b8128d7b56b52d31c8d98df6725f919a1dd6fefa39560ec2c8
|
|
|
ExtractionJsOfOCaml-source-master
|
6.09 MB |
sha256:0d6b2d715a6fbf8c694394a537047eb3b6ea0caffd10ba8eef6312406757e2b5
|
|
|
ExtractionOCaml-master
|
874 MB |
sha256:d9bd2e4ab33694edb7db0346d4343c6d8aef277b4bd8b3fbef9ee4d29137d0e2
|
|
|
build-outputs-docker-coq-dev-ocaml-default
|
1 GB |
sha256:d5afd744a82a810c207dc713ea720afe0c899a15ae26b1031577a60ee4aea7a6
|
|
|
fiat-html-js-of-ocaml
|
3.93 MB |
sha256:6d9e7564f364125c73d9097b3bd41c4614d1bf9279492cd0b3668b8f592f47c4
|
|
|
fiat-html-wasm-of-ocaml
|
11.3 MB |
sha256:3bf7fd6fe7f876b97662250235c5f81401f3634dfa6815f6fec7c546a7b9876a
|
|
|
standalone-docker-coq-dev
|
11.8 MB |
sha256:2562eb71de8f4fc6cc8bde9fe08c31385991b17a476052a20b7927f3c876e8b7
|
|