[doc] nit: exec_allows_no_decreases_clause flag (#2617) #107
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:0f71cb900edebabdfb8165876021505cf3d6f9c0a59ca347e0b5ef85b3e1a1ec
|
|
|
verus-x86-linux
|
30.6 MB |
sha256:ddb40622bc1d285bc38a63dbe162c6f1cad9c93da282ccdf952f263bae379e3c
|
|
|
verus-x86-macos
|
26.5 MB |
sha256:cd3f7313fd5105d35a2e21734a4e70757f60dc2fba5d73f5cbfab21aba9eaf26
|
|
|
verus-x86-win
|
22.7 MB |
sha256:860e488d5ff6f6d13c17658fc4da17d2d1097ca682338c083efcc2eb997f995c
|
|