Add opcode_size for nop so we don't get errors #964
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
|
339 MB |
sha256:c931c3e272b93855f9995961e6d66aa8dfe863b1d66168c41810f5752287be77
|
|
|
ExtractionHaskell-source-master
|
23.8 MB |
sha256:120baa5ba033a9f412d663dfefddeab4eade578ef4767c40f060e6ef04469309
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.11.1
|
138 MB |
sha256:142967e526cecd3c2801b2ea74e5bd535f3f0f669c44a1216daab19f41edcbab
|
|
|
ExtractionJsOfOCaml-master-ocaml-4.14.1+wasm
|
190 MB |
sha256:fd7dd853dc49767f44680534866bb1c251425975872b25afb80c901752b300d9
|
|
|
ExtractionJsOfOCaml-source-master
|
6.09 MB |
sha256:978b6161c48bab2018b86281f18759b0904d189fe8f172b4faac689752895efd
|
|
|
ExtractionOCaml-master
|
874 MB |
sha256:130714fe8ba00cea387c72477f6117422a5e9cabf2ac35a0ef3d8331d18f4168
|
|
|
build-outputs-docker-coq-dev-ocaml-default
|
1 GB |
sha256:d8c7a954f89dd163300ad3894d973ff5ee4bb3e027a23a169e2a4bc40fa3f433
|
|
|
fiat-html-js-of-ocaml
|
3.93 MB |
sha256:ade28a5bc46d11805e7b629af88406a092f9a2c5c43c1112eeac00245d0fa194
|
|
|
fiat-html-wasm-of-ocaml
|
11.3 MB |
sha256:c7778198ecd5f09a6bbed27898191f1eeb7a63fa680ca68aeda3294e7d6c0059
|
|
|
standalone-docker-coq-dev
|
11.8 MB |
sha256:6b16aa82d703cd8cc2bfc5ffdcdddd5bb5e6910bb8f398bbbf719464c9f15824
|
|