[cargo-verus] feat: check verus and vstd compatibility (#2584) #112
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:7a79a86420fc7f6bd6f58e23b8b914addb5ac6d26b8bf71b02b9f54fd0ea7fa7
|
|
|
verus-x86-linux
|
30.7 MB |
sha256:3a4e64f1a0538380c8ec101190867fc01629a93f97c74d7719f77ca2e820630d
|
|
|
verus-x86-macos
|
26.5 MB |
sha256:3e1039cad84c19936176a953272e84fd55a12fa0ccacea3e63cccdc50361694a
|
|
|
verus-x86-win
|
22.8 MB |
sha256:48e08d7d6309f60a885af5faa7d8b14d07a29cf356cdb8a646ed9c20048e6cff
|
|