Skip to content

[rust_verify_test] feat: use a temp dir as target dir to isolate `c… #36

[rust_verify_test] feat: use a temp dir as target dir to isolate `c…

[rust_verify_test] feat: use a temp dir as target dir to isolate `c… #36

Triggered via push May 27, 2026 01:59
Status Success
Total duration 12m 55s
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 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/

Artifacts

Produced during runtime
Name Size Digest
verus-arm64-macos Expired
24.7 MB
sha256:d6289aab934c1cd413645b1a48e0fd1990f330505c50a15f949d9e59567fb875
verus-x86-linux Expired
30.3 MB
sha256:faec50e65accd10bc0573412e46e318f572ef9ad967c46fa09321828c6ab380e
verus-x86-macos Expired
26.1 MB
sha256:e26ca5a9f732d9b57a83a075a1a7a93cf0de18e965f897b02d735886b4d65a5a
verus-x86-win Expired
22.3 MB
sha256:118f9a71e6b509c1bfe66830cde4dac4e1e0f17f11c5ecc5bac42189e7ed69d2