Extend Verus with Logical Atomicity (#2326) #133
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:238ad0f1c126facdc6b440073b6edeb3aaa404a6ccf2f4810c7bc0d1a857deb5
|
|
|
verus-x86-linux
|
31 MB |
sha256:303187f8d1b7d3ab869cf4e6a9bb034b5de6ee16d3d9f6e73d13a45f80cedc7d
|
|
|
verus-x86-macos
|
26.8 MB |
sha256:648c84ba0dbebb4cee65945d545e1ae6bcfc8ca3e1fabeb8ba9dda6c961b690a
|
|
|
verus-x86-win
|
23 MB |
sha256:4122e735a7ea8a71ac1a957060d4036f0c42062fd99d606448b8e3a848ed4335
|
|