make loop labels unique (#2712) #171
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 MB |
sha256:80491367c778e0dbac2e0b618cd2ede4869490b651ec082c25b90a3b1c3704a5
|
|
|
verus-x86-linux
|
31.6 MB |
sha256:a3c61ed65bb47940fd8b6d2bfb2c8911d13acafcd8f04149fb81183025d32382
|
|
|
verus-x86-macos
|
27.4 MB |
sha256:df4f5976892111b17ede41910e434986a193813e69e51d12c5039642d903f138
|
|
|
verus-x86-win
|
23.6 MB |
sha256:17a183bfb50e9b0756f48cbd2eca4f7364eb96d339ad1d21616f42895d49f130
|
|