[CI] [MacOS] Enable JSOO again #1080
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
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
Expired
|
338 MB |
sha256:072d505e92fe29d49a8e1fca27a314e643a85b8e928e231dd0599d555f8fb515
|
|
|
ExtractionHaskell-source-master
Expired
|
23.7 MB |
sha256:880fd1e4e711f757375f36b98639ef7f7dc4d1867617cbfe9157e0261f44d360
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
Expired
|
137 MB |
sha256:b6e9265e037b6a093fee4437127949ad7ff7fa47133f9196e5d30df003932d8c
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
Expired
|
184 MB |
sha256:a938af5c2958765ad320b4f5f7a8f2a68c4a0af5ea39082462997eb47c622393
|
|
|
ExtractionJsOfOCaml-source-master
Expired
|
6.04 MB |
sha256:f27a51c39ee6834543279bccc2d653e5c3c166a7e0fca38e23feccd1c81fe3c5
|
|
|
ExtractionOCaml-master
Expired
|
874 MB |
sha256:153d9d0ced54f0f060a7e4ca42d5295d934715bb496ba422a06d85b2a044094f
|
|
|
build-outputs-docker-coq-dev-ocaml-default
Expired
|
1.01 GB |
sha256:038cf393637f97062e5b0b44feb083600654786b16b1d6a6c3c9c1d5e449b79a
|
|
|
fiat-html-js-of-ocaml
Expired
|
3.9 MB |
sha256:6e52dc4d01fff09ffad61056a4a24c349b4c4aeba786fdbd29302373c95d0538
|
|
|
fiat-html-wasm-of-ocaml
Expired
|
10.5 MB |
sha256:09c66add3a4905f1af0ec7e38e8e4f022c517fe7f9cdbbe3a3e7094a7feeed35
|
|
|
standalone-docker-coq-dev
Expired
|
11.8 MB |
sha256:b32ceb7c2b4c213f12266533bcc8c239d952511fc59dd73be64c2a50d82bde1b
|
|