Handle rip-relative addressing (#2029) #890
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
0s
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:0aeb96ed9551bb7e3690f0db65d7abb8b89f9acb9601686c307b475c06393e01
|
|
|
ExtractionHaskell-source-master
|
23.7 MB |
sha256:52ca9388478622f6bbc6c20ac6fa915737d9886a7c8a7ffb581d9268ea0cd3ce
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
|
138 MB |
sha256:123492f9eb1467a099298bfbf1f6b1cb90629a932f5f14f3d1f477c4b525e45c
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
|
190 MB |
sha256:2bb726d95081fbec920e2689cd58d7ab845b4d0de93e14f26f5232922391635c
|
|
|
ExtractionJsOfOCaml-source-master
|
6.09 MB |
sha256:bcc6f38ceb18c22f26e176687a9f0f2af41a6c7b909fead0f84cda08c803ec8e
|
|
|
ExtractionOCaml-master
|
871 MB |
sha256:a5e8834569596dc282773173129f4ed01f191d72953dd062f4ef302c0395c48a
|
|
|
build-outputs-docker-coq-dev-ocaml-default
|
1 GB |
sha256:0876775343e046662057b298061cc7e9b4b651a63d788371bd1270e9573f704e
|
|
|
fiat-html-js-of-ocaml
|
3.93 MB |
sha256:01cdde01232968d6c0a3bedddf3c0c8b50f164f6c43c19bbbf86e0fda10b0472
|
|
|
fiat-html-wasm-of-ocaml
|
11.3 MB |
sha256:f017be6806a7f8d4f50b639d4056a042b1e671b1c2613bc8bf379818fa82ed09
|
|
|
standalone-docker-coq-dev
|
11.8 MB |
sha256:b09f5269e255367433625006b57846c7487858b9b831265e4497a8abf11e1e64
|
|