clean up: well_formed error returns (#2660) #136
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.4 MB |
sha256:6af35934ac89b6758cb7be247891c695d159737a1fcd05c73d97383777954306
|
|
|
verus-x86-linux
|
31 MB |
sha256:3b6e7e460f0f4d758f8840904fbca46ad53c0bbeecc593f2af0dcc784c07b47a
|
|
|
verus-x86-macos
|
26.8 MB |
sha256:1e6770fcbfac94e040e422c25c001354402d810925c875e096e31bd933b30d7f
|
|
|
verus-x86-win
|
23 MB |
sha256:8a26d2f2d2475f75d52b9dbd1ded6f580b337a944b198ad343d916748e93040d
|
|