line_count: recognize verus_verify variants and combined attributes (… #243
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:7846720d29137dea75aafe5e27d26260af0149696cc9c73f1f72f42dd3fb7b38
|
|
|
verus-x86-linux
|
285 MB |
sha256:f813627a55eefc736507df41799462abfad386058aff7296a3874f0fc78add78
|
|
|
verus-x86-macos
|
280 MB |
sha256:92b0693c3157f4b94d2ccd32560f1dc366659f7cc1e7082a47dfec12e6cb6eea
|
|
|
verus-x86-win
|
320 MB |
sha256:1e5531d1a8bd1fec6576c8a169f51d7f238971f25d6cb9d13c3c94ba97e7f81a
|
|