Implement lifetime-checking by forking rustc_mir_build #7569
tjhanceci.yml
on: pull_request
Matrix: test-and-release-macos
fmt
1m 0s
smoke-test-and-release-macos-x86
16m 26s
smoke-test-and-release-windows
8m 38s
smoke-test-and-release-linux
8m 44s
release
0s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
verus-arm64-macos
|
108 MB |
sha256:64afda4d1ae66095a1b424f59c5a028ecaf947a388984f68c4609f252f739f90
|
|
|
verus-x86-linux
|
28.3 MB |
sha256:e92d6c714afbf4f30a25d0a5dca78256647c294f5395f9a63c4d929f42b2c0cb
|
|
|
verus-x86-macos
|
24.2 MB |
sha256:084d73d07593511581dc5a0825b79b5e5aed7d76eae4eeb763fc9672fa02606f
|
|
|
verus-x86-win
|
20.5 MB |
sha256:9069d15775fcfd80a33230f6c3a442cfd2c9155584d3b1fef25f0be79e13afcb
|
|
|
verusdoc
|
5.74 MB |
sha256:90a778e03117d6a58e94b99d97568033e9de890ac97dcca96292256dadee1f86
|
|