[toolchains] fix: remove testing manifest file (#2846) #240
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
|
269 MB |
sha256:489eb953e474c91c955b4c7de527e371dcbef6874578e985113dc387df2cc0fc
|
|
|
verus-x86-linux
|
285 MB |
sha256:8a40fc8f85990f0f9fcd7aa4900e63cce98030e79b652929c74c3876d24b1880
|
|
|
verus-x86-macos
|
280 MB |
sha256:164d8ef3b18b56ff2cd4d52d5a7eb121999bc4380adc7e175b27e5423c2d27e7
|
|
|
verus-x86-win
|
320 MB |
sha256:194ba6c9eca39e9156b543a37aab75ada72021174d556cb97f9dc445f5a9bd84
|
|