Support byte-string and byte-character literals in verified code (#2723) #195
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
|
26.9 MB |
sha256:3533cf4a81f89d160d6f75bbcf15ec6882136457fa44a9e643887c99d8d0b341
|
|
|
verus-x86-linux
|
33.1 MB |
sha256:df7190dbd63ef1ee410cefac291b327134b26fb6ed367ef3fa8cbd33ca6f970e
|
|
|
verus-x86-macos
|
37.5 MB |
sha256:bf9293c7b14a2b6333b10a8eaf2eb5c18df824843e896d3afb6bcffe9e8ff48c
|
|
|
verus-x86-win
|
24.3 MB |
sha256:50c0afaa7e1d31968f11ce4105de0e14b994e34ee8a63ea3b80eca6066edb2d3
|
|