miri subtree update #191164
Triggered via pull request
January 24, 2026 14:32
RalfJung
Status
Success
Total duration
1h 17m 45s
Artifacts
1
Annotations
8 errors and 27 warnings
|
PR - x86_64-gnu-tools
unexpected closing delimiter: `}`
|
|
PR - x86_64-gnu-tools
this file contains an unclosed delimiter
|
|
PR - x86_64-gnu-tools
unexpected `if` in the condition expression
|
|
PR - x86_64-gnu-tools
unexpected closing delimiter: `}`
|
|
PR - x86_64-gnu-tools
lifetimes cannot start with a number
|
|
PR - x86_64-gnu-tools
this file contains an unclosed delimiter
|
|
PR - x86_64-gnu-tools
missing type for `static` item
|
|
PR - x86_64-gnu-tools
mismatched closing delimiter: `}`
|
|
PR - aarch64-gnu-llvm-20-2
Directory or file /usr/local/bin/stack does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-2
Directory or file /usr/local/bin/bicep does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-2
Directory or file /usr/share/miniconda does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-2
Directory or file /usr/share/gradle-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-2
Directory or file /usr/local/share/edge_driver does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-2
Directory or file /usr/local/share/chromium does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-2
Directory or file /usr/local/share/chromedriver-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-2
Directory or file /usr/local/lib/android does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-2
Directory or file /usr/local/julia* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-2
Saved space is negative: -4. Using '0' as saved space.
|
|
PR - aarch64-gnu-llvm-20-1
Directory or file /usr/local/bin/stack does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-1
Directory or file /usr/local/bin/bicep does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-1
Directory or file /usr/share/miniconda does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-1
Directory or file /usr/share/gradle-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-1
Directory or file /usr/local/share/edge_driver does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-1
Directory or file /usr/local/share/chromium does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-1
Directory or file /usr/local/share/chromedriver-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-1
Directory or file /usr/local/lib/android does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-1
Directory or file /usr/local/julia* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-20-1
Saved space is negative: -4. Using '0' as saved space.
|
|
PR - x86_64-gnu-tools
unexpected `cfg` condition value: `foo-method`
|
|
PR - x86_64-gnu-tools
unexpected `cfg` condition value: `foo-method`
|
|
PR - x86_64-gnu-tools
unexpected `cfg` condition value: `server`
|
|
PR - x86_64-gnu-tools
unexpected `cfg` condition value: `client`
|
|
PR - x86_64-gnu-tools
unexpected `cfg` condition value: `appservice-api-s`
|
|
PR - x86_64-gnu-tools
unexpected `cfg` condition value: `appservice-api-c`
|
|
PR - x86_64-gnu-miri
Saved space is negative: -4. Using '0' as saved space.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
doc-151593-a3d2e99d
Expired
|
20 MB |
sha256:99c74db7409d32bec51bc31fdda2f881f9a6f98caf8b11f3b9749df578dc6951
|
|