Skip to content

new-mut-ref: move/copy info for struct update tails (#2014) #8092

new-mut-ref: move/copy info for struct update tails (#2014)

new-mut-ref: move/copy info for struct update tails (#2014) #8092

Triggered via push December 1, 2025 08:20
Status Success
Total duration 36m 12s
Artifacts 5

ci.yml

on: push
Matrix: test-and-release-macos
fmt
1m 18s
fmt
smoke-test-and-release-macos-x86
15m 5s
smoke-test-and-release-macos-x86
smoke-test-and-release-windows
9m 5s
smoke-test-and-release-windows
smoke-test-and-release-linux
7m 29s
smoke-test-and-release-linux
docs
3m 9s
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:0541dda9336ee01c0a411894f0818284b771fe0ef7dee63f599a24be447bdf4e
verus-x86-linux
28.5 MB
sha256:4a552dd59359cb6199ecfa0bbda95a764dedf2a9197089251f1c42780c1c32db
verus-x86-macos
24.5 MB
sha256:ea394bcb72d1d1fe71f5a75b89b24ff27126fe6118f4e2e6750d257a66ec6670
verus-x86-win
20.8 MB
sha256:1ea9ba2f36e5a3959611be5e5cb5ff8511fe5f996d618e7c7d13b6638acddd12
verusdoc
6.59 MB
sha256:74a84310013e092c6a3b3e3641fdf3799b396ba7217f01bb94d7b53a97f5dee6