Add more string notations for some constants #4841
Triggered via pull request
March 11, 2025 19:40
JasonGross
Status
Success
Total duration
14h 21m 41s
Artifacts
4
coq-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
|
143 MB |
sha256:9f3072ae8a3ea8ee309e1f1200649587566214aba4e4fac13747a0da8a2f7dd1
|
|
|
ExtractionOCaml
|
309 MB |
sha256:f1a0f8b55f134c2bf2dfbce2c913413071d3e0848c9d069d09544c05b1712007
|
|
|
standalone-html-windows
|
3.91 MB |
sha256:6eec1d9d1e83649fed4ccdc0c42acc106f2881f4ef2770aa1872ff5d5458cf2f
|
|
|
standalone-windows
|
7.2 MB |
sha256:b586fc8a9ca43dfbc637a82ebe49911be5d0d20375e9f0cdbb043cfb5c8fe5d7
|
|