[CI] [alpine-edge] coq => rocq (#2066) #977
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
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:702afccba481ab6b5f3ec1d96ffdc15bcbf00807d46b87b9062b95539c73760e
|
|
|
ExtractionHaskell-source-master
|
23.8 MB |
sha256:6ea28a2a1538060e27f38f3d016c621d36b1f5d42924f8e2f62bf807217f4fae
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
|
138 MB |
sha256:56d63c66345e730f3290e25e6819c7c501c072c74d4700a2f5d7a2ce9a9ebd95
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
|
190 MB |
sha256:b9db48566ca602c91114251aaa5996e2f3036ad5d958bc688ce5891073ecfc14
|
|
|
ExtractionJsOfOCaml-source-master
|
6.09 MB |
sha256:eaad130ba814020f86e646cdd4f098b05ebbef7a8c37b5320a40a04a3f6f55a3
|
|
|
ExtractionOCaml-master
|
874 MB |
sha256:22fc6ea851d9a703ecc93fa1a2c14073c983eff6479948ce75f89661087bc13d
|
|
|
build-outputs-docker-coq-dev-ocaml-default
|
1 GB |
sha256:0c8cb00670aad96d21a4b5126831128e6f22aadd82c1fb9fd702acac8cdfaa89
|
|
|
fiat-html-js-of-ocaml
|
3.93 MB |
sha256:2df78c635aff3a4b9bda4dfc2ca09f4f055512c0ec40b6b2264b15c7f7d541c5
|
|
|
fiat-html-wasm-of-ocaml
|
11.3 MB |
sha256:24542a8f04a5df7dae981c1dce3e0502853d4de94f1a09f96e627fd10ffe579f
|
|
|
standalone-docker-coq-dev
|
11.8 MB |
sha256:160806af093d5733214c2f3b6daf86e5d75538d9b962998b52b530dd21a70e87
|
|