-Znext-solver allow ExprKind::Call for not-yet defined opaques
#175479
Triggered via pull request
September 12, 2025 12:19
lcnr
Status
Cancelled
Total duration
4m 28s
Artifacts
–
ci.yml
on: pull_request
Calculate job matrix
31s
Matrix: job
bors build finished
0s
Annotations
17 errors and 20 warnings
|
PR - pr-check-2
The operation was canceled.
|
|
PR - pr-check-2
Canceling since a higher priority waiting request for CI-refs/pull/145993/merge exists
|
|
PR - x86_64-gnu-llvm-19
The operation was canceled.
|
|
PR - x86_64-gnu-llvm-19
Canceling since a higher priority waiting request for CI-refs/pull/145993/merge exists
|
|
PR - x86_64-gnu-miri
The operation was canceled.
|
|
PR - x86_64-gnu-miri
Canceling since a higher priority waiting request for CI-refs/pull/145993/merge exists
|
|
PR - x86_64-gnu-tools
The operation was canceled.
|
|
PR - x86_64-gnu-tools
Canceling since a higher priority waiting request for CI-refs/pull/145993/merge exists
|
|
PR - aarch64-gnu-llvm-19-2
The operation was canceled.
|
|
PR - pr-check-1
The operation was canceled.
|
|
PR - pr-check-1
Canceling since a higher priority waiting request for CI-refs/pull/145993/merge exists
|
|
PR - aarch64-gnu-llvm-19-2
Canceling since a higher priority waiting request for CI-refs/pull/145993/merge exists
|
|
PR - aarch64-gnu-llvm-19-1
The operation was canceled.
|
|
PR - aarch64-gnu-llvm-19-1
Canceling since a higher priority waiting request for CI-refs/pull/145993/merge exists
|
|
PR - tidy
The operation was canceled.
|
|
PR - tidy
Canceling since a higher priority waiting request for CI-refs/pull/145993/merge exists
|
|
CI
Canceling since a higher priority waiting request for CI-refs/pull/145993/merge exists
|
|
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 - 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.
|