don't rely on undecorate_typ for index types (#2670) #134
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:049c4a5c607e10b90fd4ec8c9e4e13e054b8033f8c40c4f3a961d0d55badf9ed
|
|
|
verus-x86-linux
|
31 MB |
sha256:75cefc8f60011d5f6e167c763586f6e1928062772782998734d675c8171697f4
|
|
|
verus-x86-macos
|
26.8 MB |
sha256:9571d1768a1073fb1e43252fbe1e424370c178df53d78b275f9fd6903adae6d8
|
|
|
verus-x86-win
|
23 MB |
sha256:b0584fd09ad542c29f636cd0470807aebee2bd27ab7cf5d30493cd68aa1033d4
|
|