vstd/std_specs: require the closure's precondition in bool::then (#2760) #194
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.9 MB |
sha256:88a9cb8905e41bf8e9f4d6d1d4efc1634fa551ea137032ef9a813c8f85cc1e39
|
|
|
verus-x86-linux
|
33.1 MB |
sha256:1fe0234f34caa3998fb5f6d249086890c7cf4122bbf1af520a97c6fc774d391f
|
|
|
verus-x86-macos
|
37.6 MB |
sha256:579ab110e177d680f0c1688488ddcaa2477a89d5c4e3cd21ad9710895a1c608f
|
|
|
verus-x86-win
|
24.3 MB |
sha256:d4cf20920d966eef154bbaade128bddbd61cdfc7b0084c4c65b97d9376247449
|
|