Bump coqprime from 3371791 to d2ae1dd
#5462
dependabot[bot]coq-windows.yml
on: pull_request
Annotations
3 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']
|
|
test-standalone
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: ilammy/msvc-dev-cmd@v1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ExtractionJsOfOCaml
|
141 MB |
sha256:652ca4468ca7f6f29ac5e5937f78690c26b4a3f0577b7866c807d1e93fc827db
|
|
|
ExtractionOCaml
|
308 MB |
sha256:a9d4f773df205248e59e03a8ac32c0454d800b295884ea254ac53dc0bca577da
|
|
|
standalone-html-windows
|
3.67 MB |
sha256:cd44a16bc57ab5139da108f2e60e4a49257eb7b869d3ba75f78c82fd02c146ac
|
|
|
standalone-windows
|
7.18 MB |
sha256:789a65abfb3ddcf677b470b19bbcb4d1f4bee984d048fa0abf094af65e10368c
|
|