Clean up universe evaluation during type test evaluation #176188
Triggered via pull request
September 18, 2025 12:02
amandasystems
Status
Success
Total duration
1h 23m 12s
Artifacts
1
Annotations
8 errors and 26 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/.ghcup does not exist, skipping.
|
|
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-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 - aarch64-gnu-llvm-20-1
Saved space is negative: -4. Using '0' as saved space.
|
|
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-tools
unexpected `cfg` condition value: `foo-method`
|
|
PR - x86_64-gnu-tools
unexpected `cfg` condition value: `foo-method`
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
doc-146717-2ed53732
Expired
|
19.3 MB |
sha256:d07fc89e82ba843d829d831a69ddd8e871acfa266af798afbfa125a22260b3af
|
|