resource: update examples to make use of new Resource Algebra interfa… #126
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:038e1a29f9df94a4c6727b6ed3a0550acdab0ef5d73b25434d0cd2a42cca5596
|
|
|
verus-x86-linux
|
30.8 MB |
sha256:180aa4942bcd35c3444043ad20a57d21dbed644ed23429d76d268207f02b3eb5
|
|
|
verus-x86-macos
|
26.6 MB |
sha256:ddb742edaa95da86e1316f61f4d8de5f66bc6d48620972ba20f0ff28ae78cc66
|
|
|
verus-x86-win
|
22.8 MB |
sha256:ba112864395fec7cbf0e63181ac338a579f83b544955e7dead2594643602b7f3
|
|