Skip to content

Add visit_trait

Add visit_trait #8089

Triggered via push November 30, 2025 18:15
Status Success
Total duration 35m 12s
Artifacts 5

ci.yml

on: push
Matrix: test-and-release-macos
fmt
1m 21s
fmt
smoke-test-and-release-macos-x86
14m 51s
smoke-test-and-release-macos-x86
smoke-test-and-release-windows
9m 30s
smoke-test-and-release-windows
smoke-test-and-release-linux
7m 47s
smoke-test-and-release-linux
docs
3m 18s
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:0d8910f82f8bd76a99de3f17d16cc551da51f623b85e91777f37163d18d52cca
verus-x86-linux
28.5 MB
sha256:3ac26dd998d7a6de5566304be267bd4ce11d1f8f91a3ee80e0ce6c9580d652b7
verus-x86-macos
24.5 MB
sha256:7d484046a81210e619bb80a170e951a49d564fc9c73a71f47788614a73c4170d
verus-x86-win
20.8 MB
sha256:88921c55acfc10994c676d9f34b2751ee2a51fe090bddcca3ead3190704b38f4
verusdoc
6.59 MB
sha256:4cf08360ea693c6f8a32c56a68d0e162e9181e37c7ce0b57372de0c67f4c8022