workspace: centralize deps (#2653) #132
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:dfa8a39c0c845d640e78e73d07bbe2cbab433b6023a84e35b0d4b0345ad74b09
|
|
|
verus-x86-linux
|
30.8 MB |
sha256:86e384080da5690bb5240ba3d224ce2f15ee4883e39ff92a5238ce834a806b79
|
|
|
verus-x86-macos
|
26.6 MB |
sha256:3ccb3b792df46d3e82c539b474fff8eba45aba0a8f24286c7e36ce355e670703
|
|
|
verus-x86-win
|
22.8 MB |
sha256:000e955b1f56afdb27a2fb74c9d34d22a4e7769de7ec28b1bde59ad82d69d779
|
|