Implement lifetime-checking by forking rustc_mir_build #7556
tjhanceci.yml
on: pull_request
Matrix: test-and-release-macos
fmt
1m 5s
smoke-test-and-release-macos-x86
14m 20s
smoke-test-and-release-windows
8m 38s
smoke-test-and-release-linux
8m 10s
release
0s
Annotations
9 errors
|
test-and-release-macos (no-alloc)
Process completed with exit code 101.
|
|
test-and-release-macos (record-history)
The strategy configuration was canceled because "test-and-release-macos.no-alloc" failed
|
|
test-and-release-macos (no-std)
The strategy configuration was canceled because "test-and-release-macos.no-alloc" failed
|
|
test-and-release-macos (singular)
The operation was canceled.
|
|
test-and-release-macos (singular)
The strategy configuration was canceled because "test-and-release-macos.no-alloc" failed
|
|
test-and-release-macos
The operation was canceled.
|
|
test-and-release-macos
The strategy configuration was canceled because "test-and-release-macos.no-alloc" failed
|
|
test-and-release-macos (cvc5)
The operation was canceled.
|
|
test-and-release-macos (cvc5)
The strategy configuration was canceled because "test-and-release-macos.no-alloc" failed
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
verus-x86-linux
|
28.3 MB |
sha256:c442507010afa3554aac8d9587e93f3e8ce24cf4b8ef6be3e622f48b1890e509
|
|
|
verus-x86-macos
|
24.2 MB |
sha256:48cce8f051ede671e17f23f2097323a185a57595e274e82162ae928e740e3b5c
|
|
|
verus-x86-win
|
20.5 MB |
sha256:ac7ac9762f38eba83e070c496f63d971e26634cf51c5dcf25c0376995b028db8
|
|