Skip to content

clarify error msg for destructuring assignment #8097

clarify error msg for destructuring assignment

clarify error msg for destructuring assignment #8097

Triggered via push December 2, 2025 10:14
Status Success
Total duration 31m 3s
Artifacts 5

ci.yml

on: push
Matrix: test-and-release-macos
fmt
1m 17s
fmt
smoke-test-and-release-macos-x86
21m 14s
smoke-test-and-release-macos-x86
smoke-test-and-release-windows
8m 59s
smoke-test-and-release-windows
smoke-test-and-release-linux
7m 26s
smoke-test-and-release-linux
docs
5m 0s
docs
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
release
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
release
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
release
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
release
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Artifacts

Produced during runtime
Name Size Digest
verus-arm64-macos
117 MB
sha256:84d20d7be05fab42d581510245df00fda2d77ec84e902722b7a58c421e699976
verus-x86-linux
28.5 MB
sha256:e76247b9911e786a3e229d6f381a1963490bd3b853d4de7337472d7f8f72d312
verus-x86-macos
24.6 MB
sha256:667361ee36e993052fdac67cbc6befdbf8eca89bdcff5952012c24caac4557b7
verus-x86-win
20.9 MB
sha256:8df82c5f5bebc1274c1e37874d08b5e82d34297cb1815201cba9369d16ce097d
verusdoc
6.64 MB
sha256:ce04b54ed3b745353636a8b6cedb0f307f8a3d5eff3b81431417650200a73dc2