Skip to content

[rust_verify] fix: skip codegen when --compile is not set (#2509) #43

[rust_verify] fix: skip codegen when --compile is not set (#2509)

[rust_verify] fix: skip codegen when --compile is not set (#2509) #43

Triggered via push June 1, 2026 15:34
Status Success
Total duration 12m 51s
Artifacts 4
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
publish
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: verus-lang/action-update-release@v0.2. Actions will be forced to run with Node.js 24 by default starting June 16th, 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/

Artifacts

Produced during runtime
Name Size Digest
verus-arm64-macos
24.7 MB
sha256:9eaf1a5b7f6fbedb985ad44ad8f188f2f105a9878a14a5189f9b702ea33a9eb9
verus-x86-linux
30.3 MB
sha256:b14c032f438a182f7707d41fc0f6ea5f40f1071ecad5e1f067462218eb31f6b1
verus-x86-macos
26.1 MB
sha256:2dbb607ceddfd773c86b081895971df1dc8b666a6d4caea29f56f6c6c6aacdfe
verus-x86-win
22.3 MB
sha256:8d250a5f1eaa1713b14918152c213c19aa6860b6329b1762dad6f6873082a96f