Bump rewriter from 7fc7ef5 to 16ae768 (#2341)
#1542
JasonGrosscoq-docker.yml
on: push
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
3 errors and 4 warnings
|
validate-docker-master
Makefile:511: validate
|
|
validate-docker-master
Makefile.coq:507: validate
|
|
docker-check-all
Process completed with exit code 1.
|
|
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:eb8008787cc8605f6cea654c2598111b79404c9576b2fccc84aa80152472bbec
|
|
|
ExtractionHaskell-source-master
|
23.7 MB |
sha256:111b6bfbe8eab7856f862cf6ea47bcb434874b9e201453f70c00b2c3683cdd4a
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
|
137 MB |
sha256:d22c03c7e06879d090990f853c42ad0174ea48d04467263d124cc9c5b61310f2
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
|
183 MB |
sha256:95f4aff9da1987519d580dcfc9a2552a591dc9df9f9461cfe0416849ce3faaec
|
|
|
ExtractionJsOfOCaml-source-master
|
6.04 MB |
sha256:19787a927f8f720be0f054120dac85b38ffe4a6c642491c65a4507e823c73c3d
|
|
|
ExtractionOCaml-master
|
874 MB |
sha256:ac4e86153d9b3161993fc524fba31ac7d702131161cbc2ffbc7fe47f8ec0b91d
|
|
|
build-outputs-docker-coq-dev-ocaml-default
|
1.01 GB |
sha256:8a3896bbc653243cb6637abd9391a64e0f2614e6f280165d89db326080eab4b3
|
|
|
fiat-html-js-of-ocaml
|
3.9 MB |
sha256:1bfce5200c10d9d428b88450eaf940487dc588057ab217ae09ec6b016fbd3f41
|
|
|
fiat-html-wasm-of-ocaml
|
10.4 MB |
sha256:7c22b57eb03f03180a2ccdfd374dc627853c38143a26fa0cdee69030586585c2
|
|
|
standalone-docker-coq-dev
|
11.8 MB |
sha256:cf5cf175df838b747c8ee7f05a6e13b4345427e2e612979a69e48f2dbf3ebcc0
|
|