Miri: non-deterministic floating point operations in foreign_items
#170605
Triggered via pull request
August 6, 2025 15:22
LorrensP-2158466
Status
Success
Total duration
1h 17m 45s
Artifacts
1
ci.yml
on: pull_request
Calculate job matrix
2m 16s
Matrix: job
bors build finished
0s
Annotations
8 errors and 28 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
mismatched closing delimiter: `}`
|
|
PR - x86_64-gnu-tools
missing type for `static` item
|
|
PR - pr-check-1
creating a mutable reference to mutable static
|
|
PR - pr-check-1
creating a mutable reference to mutable static
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/bin/stack does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/bin/bicep does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/share/miniconda does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/share/gradle-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/share/edge_driver does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/share/chromium does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/share/chromedriver-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/lib/android does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
Directory or file /usr/local/julia* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-2
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 - aarch64-gnu-llvm-19-1
Directory or file /usr/local/bin/stack does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/bin/bicep does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/share/miniconda does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/share/gradle-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/share/edge_driver does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/share/chromium does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/share/chromedriver-* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/lib/android does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Directory or file /usr/local/julia* does not exist, skipping.
|
|
PR - aarch64-gnu-llvm-19-1
Saved space is negative: -4. Using '0' as saved space.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
doc-143906-71add2f5
Expired
|
17.4 MB |
sha256:894a7ca2418781090c723f0f7724a6592a442ecc64c3f94673c6a3f3cbaca6bb
|
|