vstd: add no_unwind to Result/Option methods that don't unwind (#2610) #103
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.1 MB |
sha256:2fa6e04ba9d270f537867bea8dfe1a08aaff9dcdcb94796e98070402ef8c63d9
|
|
|
verus-x86-linux
|
30.7 MB |
sha256:be8198fdfaf310900da9ed84e98abb558810a09b48c08a223828013e2a5ce29d
|
|
|
verus-x86-macos
|
26.5 MB |
sha256:f720ae0ef4e2b13c36c588897e1a21ae598917b0340f74fd220b542f53c2441e
|
|
|
verus-x86-win
|
22.8 MB |
sha256:a6bc7e924fe400f9f40b6c6a7b03ccfcebaf8aaff3b83692b4de906c226b3dff
|
|