fix bad span for chained inequality (#2732) #180
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
|
26.7 MB |
sha256:745032ef7f0a1d391d3f08b719c9f5bdfb3ecb22b4b11bd5927c213381c2853e
|
|
|
verus-x86-linux
|
32.8 MB |
sha256:cb0e4f6eba7279f26a57af3ef681004b4a2069a6eeec485f51531f2cf98dd07f
|
|
|
verus-x86-macos
|
37.3 MB |
sha256:8e788ccfef351185e6e7382cdbe7c4c9f7c72d0d6fe0c9a0a1dfc5a855fada0e
|
|
|
verus-x86-win
|
24.1 MB |
sha256:92a71a2abe7aa81175b6be01dce0ab32e57b72a2460d2a05031be71556fd4bc5
|
|