Skip to content

Bump rupicola from f19c384 to d1336d2 #5443

Bump rupicola from f19c384 to d1336d2

Bump rupicola from f19c384 to d1336d2 #5443

Triggered via pull request May 27, 2026 09:46
Status Success
Total duration 5h 5m 16s
Artifacts 4

coq-windows.yml

on: pull_request
test-standalone
29s
test-standalone
publish-standalone
19s
publish-standalone
windows-check-all
4s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

3 warnings and 2 notices
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 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: ilammy/msvc-dev-cmd@v1. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
windows
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
test-standalone
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026

Artifacts

Produced during runtime
Name Size Digest
ExtractionJsOfOCaml
141 MB
sha256:0389b8f35df6b7f7010b68e8b0482fe56a7029d1ada397dfb3f325f1933451d4
ExtractionOCaml
308 MB
sha256:046d113f85405f301af17637b7744f9dd395d0926d895661b2cd9322223cf374
standalone-html-windows
3.67 MB
sha256:1980a3f977d215dfdfb6ab297651ce80236af10fcd166211f9cf92265ced2c65
standalone-windows
7.18 MB
sha256:2d7f890a8ccf99874512fb4b5585c4f91d87e518839f879ba8100ebc2b45924f