Skip to content

Implement lifetime-checking by forking rustc_mir_build #7568

Implement lifetime-checking by forking rustc_mir_build

Implement lifetime-checking by forking rustc_mir_build #7568

Triggered via pull request August 1, 2025 13:02
Status Success
Total duration 25m 1s
Artifacts 5

ci.yml

on: pull_request
Matrix: test-and-release-macos
fmt
1m 18s
fmt
smoke-test-and-release-macos-x86
20m 32s
smoke-test-and-release-macos-x86
smoke-test-and-release-windows
8m 42s
smoke-test-and-release-windows
smoke-test-and-release-linux
9m 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
108 MB
sha256:3b9f4a38285f2aedf7548b9b393b9c6283d902583a4a0e903315195fbe8cf488
verus-x86-linux
28.3 MB
sha256:d588b438e36de8f95d5a9f2ec2cf00d18f879e06a7ce481e96f5268547d2ac3c
verus-x86-macos
24.2 MB
sha256:4a4badf9fb750ad3062432a09af6914a50dcc99d750546b0154db5918e069d91
verus-x86-win
20.5 MB
sha256:75d7950749a3073c24e992644e1bc16b2dd4a1947f2366a5f3b4190221de2be2
verusdoc
5.74 MB
sha256:45aeb69d4d03637d77bd17067c05e8c08a61ff09676dba3a07cbe7f01b92b9e9