guide: add styling for a 'Verus/Rust difference' note (#2602) #97
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.1 MB |
sha256:e8fca4c5c7b1e9f7b9afb5663db14a1d7b3fc9c1bc5fa702394cf1c59fd258c0
|
|
|
verus-x86-linux
|
30.7 MB |
sha256:0d31e095a22f5d5fbe2362f1074a3f14c78ef182a6509058c97f16a54a66b28b
|
|
|
verus-x86-macos
|
26.5 MB |
sha256:a72a3cea492762533f0fb6b74bf81ed3898477aff8303919d97d8d19e23f8f06
|
|
|
verus-x86-win
|
22.8 MB |
sha256:dc6e397062711eadd4ea751f63d4d4941cd783aacf8293b12ffa875fc3d485ac
|
|