Skip to content

Split set, map into Finite & Infinite versions by generic type parameter #7768

Split set, map into Finite & Infinite versions by generic type parameter

Split set, map into Finite & Infinite versions by generic type parameter #7768

Triggered via pull request October 8, 2025 19:54
Status Success
Total duration 29m 39s
Artifacts 5

ci.yml

on: pull_request
Matrix: test-and-release-macos
fmt
1m 26s
fmt
smoke-test-and-release-macos-x86
20m 53s
smoke-test-and-release-macos-x86
smoke-test-and-release-windows
12m 1s
smoke-test-and-release-windows
smoke-test-and-release-linux
8m 0s
smoke-test-and-release-linux
release
0s
release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
verus-arm64-macos
113 MB
sha256:a648d9707b822bfa58e8a07ca8dc2b92b75aabde0a372cee674f004aff514b38
verus-x86-linux
29.2 MB
sha256:235eb271e12bf98b79c4b8258471830f190dfaf1d65cacc59c8022402ba6f2aa
verus-x86-macos
25 MB
sha256:8e0d5555e7ae08c0194f70854816b0789568f2866f5abd7798e42d332b134522
verus-x86-win
21.4 MB
sha256:d93fcf240696f118556f87d4cd6bab9cd06eb3d0569ec696230186547aa47bbb
verusdoc
6.1 MB
sha256:a69924d2e1d73d6abbc78d0ecbd7a619938bca3f7a81519f2224e5875078d713