Allow Tracked(...) constructor in spec mode (#2649)
#129
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:a8589697fe0f8cf4f5578b69bc0fe21c608f40d7270feec32d1df303226d5d7a
|
|
|
verus-x86-linux
|
30.8 MB |
sha256:a34794c9cdc4a8d09bfb44c696fa62df681d989a614ce773441e3d301145ad39
|
|
|
verus-x86-macos
|
26.6 MB |
sha256:556affcc64bacf250eaefbd894f2886f7dc9c0d1cd5806f43468000b7d0307c6
|
|
|
verus-x86-win
|
22.8 MB |
sha256:b8b43e2cb8e4e2ddd2afbe141984261735de55e036ef7a58ad894dcb9b04a376
|
|