Add specifications for NonZero (#2471)
#113
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:2b59f75e4eaa2d579d3cb0f3ddfd6fc02b694fe62ce45b5f62737d2cd6624699
|
|
|
verus-x86-linux
|
30.7 MB |
sha256:57233ecb34af00c2401d0f8a8b36156d95d3c6bdbd62f74c78c6c18b79ce001a
|
|
|
verus-x86-macos
|
26.6 MB |
sha256:7c7a343fb952b5189a63976a1c6e38f8f770fc4f5cda32e7bb20d049da2cc2fc
|
|
|
verus-x86-win
|
22.8 MB |
sha256:26b2cac932adf7b87ddf44bb71b36e87079c27b1b26f9f0ebffa0b3f31f6ff47
|
|