Bump rupicola from d1336d2 to 5e4f56e
#1546
jason-s-dependabot-autorebase[bot]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
|
336 MB |
sha256:4601457914161e22d6dd4316e851fb355fc4e17d50755357fe52be36e16ea713
|
|
|
ExtractionHaskell-source-master
|
23.7 MB |
sha256:db7ead043ac86b66ca28d89eb0a0d7ce8bc9191577020d44118a673799f20f0e
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
|
137 MB |
sha256:fb04e006615d87aed2ba5e1cb60164e05b99d740266ad42da1dbc57d329f1f22
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
|
183 MB |
sha256:4d0b4cb0542e9a2138c567967df0b92ad4ae789d0e9d2e7bc6fd4fdba5efab42
|
|
|
ExtractionJsOfOCaml-source-master
|
6.04 MB |
sha256:2a53394ecac76cf0ba7575ab457ec22103f04cc4f176085fba398ef634b6f91e
|
|
|
ExtractionOCaml-master
|
874 MB |
sha256:da7924879ec130e84d1c9adb67b0233fd42707b2b4acafb55c27038ae8e0f184
|
|
|
build-outputs-docker-coq-dev-ocaml-default
|
1.01 GB |
sha256:8ce4b5df03e6cdaccc5b4c1077a5357a539cca5a000d692564e793ab41469b1c
|
|
|
fiat-html-js-of-ocaml
|
3.9 MB |
sha256:52f0735dbf025640932196630cf6b5bdcc8b3f8db017d07fec8c409a5cdb36dc
|
|
|
fiat-html-wasm-of-ocaml
|
10.4 MB |
sha256:4ca0aac64d3dcbe4e7e703ebfdf6071820177d63143ad536186fa2042ae72296
|
|
|
standalone-docker-coq-dev
|
11.8 MB |
sha256:00cf150f0f371bb8c4e4064d321a58116bbe5192c93caf2ec6a5ee96dba0cff7
|
|