fix: pin version in cargo-verus vstd test (#2646) #121
github-merge-queue[bot]Annotations
1 warning
|
publish
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: verus-lang/action-update-release@v0.2. 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
|
25.2 MB |
sha256:5c2f0a6cf3402b6a99f45edee5308f519487bec46b8128d89cbad07373bea9b1
|
|
|
verus-x86-linux
|
30.8 MB |
sha256:5e911e8c0311c5b5f86c6facb4b395736913c61d685b8690d7e7cdd40b957467
|
|
|
verus-x86-macos
|
26.6 MB |
sha256:a02e37996c512fc8d63658966c6f3a8c9c391f99b2a6302031f72a56747c82ad
|
|
|
verus-x86-win
|
22.8 MB |
sha256:40a57388808b2b1e0155c75c328f34becf1ef70b7006878809dc2304fb761a72
|
|