add loop_isolation_boundary attribute (#2591) #175
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:25c0bec00578ad1acdac2ea025bde99c56bfbc9ff27b7a995b8136124599b692
|
|
|
verus-x86-linux
|
31.6 MB |
sha256:a91a42df7dc09f202c8b9f193dfba0b76939055359cc78a4fb3c5e650d9aa656
|
|
|
verus-x86-macos
|
27.4 MB |
sha256:54b67f87f35cc94b83a45637a93dc0ee39d38ca91c2f47a2bfec553f7a5b65f5
|
|
|
verus-x86-win
|
23.6 MB |
sha256:aa58c73c782f56115cb33d9d4dffeb1a2b9bed9c4f7380319b9b881bc8ea0f6f
|
|