verusdox tracked print fix (#2622) #110
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:81ca912a617411edda916ea2869d6b81c01beccddc15bec8a37e0b0e8346511b
|
|
|
verus-x86-linux
|
30.7 MB |
sha256:16e447e25bd02e8eeb21470486bfffcc8ef882ad1c9bca74a23e7655f3983901
|
|
|
verus-x86-macos
|
26.5 MB |
sha256:eee0b79ba7e0e7af1cb22feb4b4ae1aa79f2282fd641ea5176b1c82ca9e38fe2
|
|
|
verus-x86-win
|
22.7 MB |
sha256:30db0a56083dece40ae6d5b7d2acb2e8a826a8617aecefc74664cfc8aca019bd
|
|