Bump rewriter from 76973c4 to e4d987c
#742
Triggered via pull request
October 16, 2024 08:47
dependabot[bot]
Status
Success
Total duration
3h 44m 53s
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
5s
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:55c4c0dab14a9bb22211ca5ff47f4cb2e473cffd589a541ed793c240298010e0
|
|
|
ExtractionHaskell-source-master
Expired
|
23.5 MB |
sha256:aef33c7778ef187268c0bcc144e897e680c968656623de48d817c3800cbfe739
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
Expired
|
137 MB |
sha256:82bdaede30135eaec60b6d69550f43cc83a6f329258691eb1719b02ca8beeff2
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
Expired
|
192 MB |
sha256:f2170cc1cc487712332043a92c34a4f68d7499365f676acbb8713ed83ff89adc
|
|
|
ExtractionJsOfOCaml-source-master
Expired
|
6.05 MB |
sha256:b5e67a08e43a58931212e2f640fce117683305c5b458f9e7cd83a4c789e52aec
|
|
|
ExtractionOCaml-master
Expired
|
863 MB |
sha256:b9bd514727b16bafbad3bcf51abb995297041ce1fd6056294684c34bd11fdb8e
|
|
|
build-outputs-docker-coq-dev-ocaml-default
Expired
|
1000 MB |
sha256:b2358f3597b446f7fb4a57a78e6c90e75974885815a3b21f1c5c55c7479338b1
|
|
|
fiat-html-js-of-ocaml
Expired
|
4.25 MB |
sha256:2575022a5b2f99e65da69795214cf824dbdcb1276bd1301d19460c47b36e25ce
|
|
|
fiat-html-wasm-of-ocaml
Expired
|
12 MB |
sha256:b105248d9b756c32d0b0ae7daf6c0ad6abff7e753e18694072a4b8da09ed27d7
|
|
|
standalone-docker-coq-dev
Expired
|
11.7 MB |
sha256:33e143450680c7468a63717ac7cf9d496c773337c6841cc37300ec23af3d8ee3
|
|