switch GarageDoor to LeakageSemantics #4721
OwenConolycoq-windows.yml
on: pull_request
Annotations
2 warnings
|
publish-standalone
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
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 | |
|---|---|---|---|
|
ExtractionJsOfOCaml
|
140 MB |
sha256:23aa69f9299636906d1f7ce44b4b7fcc70e2f58ab9cfdfd3fef513e04f02f58e
|
|
|
ExtractionOCaml
|
308 MB |
sha256:929cf223c7679adb19efbcb080291668c8a98a1f037c6c8afcea29c73b3831db
|
|
|
standalone-html-windows
|
3.9 MB |
sha256:6d3fae76ea77793d22fa0c49735328a8f5128af796f277a37d47958cc4744fa3
|
|
|
standalone-windows
|
7.17 MB |
sha256:f39972e68618d1aa74e422590967b1c19027a905aaf613cf2b4cc71bfd83b8ed
|
|