Add support for parsing more assembly (#2027) #882
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
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
|
338 MB |
sha256:fa96834b8a885420579ffbb9a9b03f71fec51bf28190de3059980c7d33fe6b62
|
|
|
ExtractionHaskell-source-master
|
23.7 MB |
sha256:780abca3e5629e1829e79717901c29a93d0dc90bce04392aa5c06195d121a7b1
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
|
138 MB |
sha256:b490167ef312cef33f8da6ce58d0ec13987c58664fbcb8750b072aa247e6867a
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
|
190 MB |
sha256:7ee99e21fdb8c3a7549f99286bd3430d463d7c43368183f5f6b57d7eeee9a901
|
|
|
ExtractionJsOfOCaml-source-master
|
6.09 MB |
sha256:3639e84b915db280b3cb522b4c165997aa636ad3d221c0399883b512646aba27
|
|
|
ExtractionOCaml-master
|
870 MB |
sha256:20c71fd5223633b16389b5b94cb4ac4ec357706666edbd71b72e38350b489e3b
|
|
|
build-outputs-docker-coq-dev-ocaml-default
|
1020 MB |
sha256:dfe61c2cfc0a7a1092c5799dd4b4c9b9731d9b7e6593875b2398ec9e1991ddb9
|
|
|
fiat-html-js-of-ocaml
|
3.93 MB |
sha256:5bba839513f6787732af19fdffde62da87367ca64383bf230fb9494ffd47cf41
|
|
|
fiat-html-wasm-of-ocaml
|
11.3 MB |
sha256:06f80bc71772caff40dede2139d21adb54bdf902b0c5b7742778edc7ca982343
|
|
|
standalone-docker-coq-dev
|
11.7 MB |
sha256:e90637c2860cb8cbef0b1746e92f0b1bb00b338bd699fcc0efa5b1b95aa670aa
|
|