[CI] [MacOS] Enable JSOO again #1079
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
4s
Annotations
4 errors and 2 warnings
|
build-wasm-of-ocaml (master, 4.14.1)
Process completed with exit code 2.
|
|
build-wasm-of-ocaml (master, 4.14.1)
Makefile.standalone:97: src/ExtractionJsOfOCaml/fiat_crypto.wat.gz
|
|
build-wasm-of-ocaml (master, 4.14.1)
Makefile.standalone:97: src/ExtractionJsOfOCaml/fiat_crypto.wat.gz
|
|
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']
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionHaskell-master
Expired
|
338 MB |
sha256:7f70fb67fb2fbac4fb0d16b1ea62e2329d298bce7b4e91e49eaea41c49329e04
|
|
|
ExtractionHaskell-source-master
Expired
|
23.7 MB |
sha256:4c7b531c3f38297eab96a8d9ca55e493c9dec601391b9ef743340bd1442e1037
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
Expired
|
137 MB |
sha256:0a7cdd3ce87cd35442cde5ddc337ee195ef5c07be76c3d83dc56777eea9c070d
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
Expired
|
140 MB |
sha256:aadbdd55aaf9541bfa53f8c5522e00b25d7099d86a12de4b30e944b5450819c3
|
|
|
ExtractionJsOfOCaml-source-master
Expired
|
6.04 MB |
sha256:c794fcad37d566743dbe0e6640bea3a197f85153bdebe4faad1f1bddc0a10b85
|
|
|
ExtractionOCaml-master
Expired
|
874 MB |
sha256:4725fdd46194800e022ae24e9d13c43e6ebe4f49caeb00f1c55c8dccb5f9690a
|
|
|
build-outputs-docker-coq-dev-ocaml-default
Expired
|
1.01 GB |
sha256:9667714507cdee14ed105ac8a303a4d26215a44589250a21fb33a8d044d819cc
|
|
|
fiat-html-js-of-ocaml
Expired
|
3.9 MB |
sha256:00321d33405b98ec7e39d32f53288729ff3dfbe61e07d38e2b7a713a2f7a2473
|
|
|
standalone-docker-coq-dev
Expired
|
11.8 MB |
sha256:fe1ecf6a7dfa95ebed24277b5a2e290578568a9e32306260e99c9fddb0c8a510
|
|