Update crate version numbers (#2643) #122
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:f5d167b439faabf3ebfd1d440c8ea6672515b1db756247537f9222aa2a23b0f9
|
|
|
verus-x86-linux
|
30.8 MB |
sha256:01e353bb131ed741589460c25c31c4c1a64e0affd8229963bffc893d0978e2de
|
|
|
verus-x86-macos
|
26.6 MB |
sha256:61453409ccad2c83180d510ca2d48d82c214cef1bbfd549dc5c864241718e944
|
|
|
verus-x86-win
|
22.8 MB |
sha256:f5258a3b7918078fca8c1599d4ddb8ad39286b59ddd5c74082c624edd08afd02
|
|