Skip to content

Add persistent (duplicable) variants of GhostSubmap/GhostSubset (#2019) #8095

Add persistent (duplicable) variants of GhostSubmap/GhostSubset (#2019)

Add persistent (duplicable) variants of GhostSubmap/GhostSubset (#2019) #8095

Triggered via push December 1, 2025 17:44
Status Success
Total duration 37m 39s
Artifacts 5

ci.yml

on: push
Matrix: test-and-release-macos
fmt
1m 29s
fmt
smoke-test-and-release-macos-x86
27m 41s
smoke-test-and-release-macos-x86
smoke-test-and-release-windows
9m 1s
smoke-test-and-release-windows
smoke-test-and-release-linux
7m 22s
smoke-test-and-release-linux
docs
3m 20s
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:f35b5b70a25f3541df697aa75bb51c47b7997c2ef355a6a6df4d2077e1d27f05
verus-x86-linux
28.5 MB
sha256:82913352a85794f3a86d94ed071521a163c53c7185bb7881916d4a942cde8905
verus-x86-macos
24.6 MB
sha256:391f81c71b9920ad82b782893e89062999cfe73869ae30790b3a2320efc539a6
verus-x86-win
20.9 MB
sha256:c233380b4325fcaaf1f8abcb48f6461669cb8b8aaf1bdc50575e5f01922d5223
verusdoc
6.64 MB
sha256:3bac53ce39716ec046ddcf96e30b0d431b2401c1ab8ec61c049254896662540e