Properly qualify references to vstd when desugaring for-loops (#2647) #123
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:0694709021a653b390a584993c3a743ff4f3ae5334a707aa9bb0973622f88a1d
|
|
|
verus-x86-linux
|
30.8 MB |
sha256:c81101b4f5bf541626c126d00bd1a0ab6b6e8cbfee371dee9d7fd6b9c37a8267
|
|
|
verus-x86-macos
|
26.6 MB |
sha256:2d155c880df828931177cfdcdcdcfe3f52dcb03e32ffb6b116280ee4b86507d8
|
|
|
verus-x86-win
|
22.8 MB |
sha256:56ece4cfc83bea607e841f50e7b6924775f6986c82a04125685398918211cd9d
|
|