Use the loop_isolation_boundary feature to simplify our specs for Rus… #185
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
|
27 MB |
sha256:3fc0abb74829b8a874b36f68d9bd206280c3646215cc258f67f4eac05c2d868d
|
|
|
verus-x86-linux
|
33.1 MB |
sha256:e57593ed32bb35485c4052bfa0d131ec9dcac24b39ed23ecfafb8c93180d735d
|
|
|
verus-x86-macos
|
37.6 MB |
sha256:014fb69dee7517f975f6e0a1cd69914012dc7d07f7d161f34a6cb2650ebf7be8
|
|
|
verus-x86-win
|
24.4 MB |
sha256:5af0a107f11112e8f6592e6cfe9018fc1029f14624751d8cf1bcbf1aee9d49b0
|
|