Better ordering on print-report #981
JasonGrosscoq-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
7s
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:199c9ebda91cdf836dcd8cd158558185075b337205a69e95d81e7d412d883d1f
|
|
|
ExtractionHaskell-source-master
|
23.8 MB |
sha256:5abf2cd1738c970173e36884829375773bda7a095b89fadaed2a6007ff48b9ce
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
|
138 MB |
sha256:f450d914dd0680b17bf2874c878ee55130799e39c4cd6eb56f193fd08942d16c
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
|
191 MB |
sha256:c37190c0932364f5327e2927e0d8b75b24a8c71a941086f747bcf8f2315e9a2f
|
|
|
ExtractionJsOfOCaml-source-master
|
6.09 MB |
sha256:4be4a7e154539de84ae7d7f33c9f562ec9229f5e9b889494899b7055e441d79a
|
|
|
ExtractionOCaml-master
|
874 MB |
sha256:24d27798de089c956b66aa588d346a9eeb22e95f7ffec66e723b9e076ec80abc
|
|
|
build-outputs-docker-coq-dev-ocaml-default
|
1 GB |
sha256:772c629f317e1b25635dbd0046c88b2c84660ea9a5394e0ba0e85100ad300241
|
|
|
fiat-html-js-of-ocaml
|
3.93 MB |
sha256:44a7ec925fdc2445fd077d1df8c881f2478252b09b1dda1184c8e46563871f86
|
|
|
fiat-html-wasm-of-ocaml
|
11.3 MB |
sha256:fa16da39e37ef9c7dc0d37ab1c837dfeefa885394bb30328565acaf8b188f043
|
|
|
standalone-docker-coq-dev
|
11.8 MB |
sha256:8608e1df89eb9e4207085afeebe15f4f3625bff59cad27116a34aac0b69a0f36
|
|