Implement ToDebugSNode for more tuples (#2636)
#125
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:40453cc29ee8d3513786ec454862dd14aa55dcfe491b47f5650cf41f27d15ba5
|
|
|
verus-x86-linux
|
30.8 MB |
sha256:502e5326a0e45419db3422c1df40ae0b9c00895ab9b4a3c2b4f578fa38091e77
|
|
|
verus-x86-macos
|
26.6 MB |
sha256:587632f0f621b3b0a2c5db5f50e34a917f0fb31f4a9ba5b965b065a2f00113d7
|
|
|
verus-x86-win
|
22.8 MB |
sha256:8ed917cbaa697f355ae1899a1a686fc20f41df1f79411a4b4ff884abd8f51fef
|
|