Skip to content

Instantiate predicate binder without recanonicalizing goal in new solver #157571

Instantiate predicate binder without recanonicalizing goal in new solver

Instantiate predicate binder without recanonicalizing goal in new solver #157571

Triggered via pull request May 5, 2025 13:41
Status Failure
Total duration 12m 8s
Artifacts

ci.yml

on: pull_request
Calculate job matrix
1m 2s
Calculate job matrix
Matrix: job
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 1 warning
PR - x86_64-gnu-tools
The hosted runner: ubuntu-24.04-16core-64gb_dac68e4ad51c lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
PR - x86_64-gnu-llvm-19
The hosted runner: ubuntu-24.04-16core-64gb_69a6c7489f9c lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
PR - mingw-check-tidy
The job was canceled because "x86_64-gnu-tools_PR_-_x86" failed.
PR - mingw-check-tidy
The operation was canceled.
PR - mingw-check
The job was canceled because "x86_64-gnu-tools_PR_-_x86" failed.
PR - mingw-check
The operation was canceled.
Calculate job matrix
Cache not found for keys: v0-rust-calculate_matrix-Linux-x64-1d14cc0c-abf484ef, v0-rust-calculate_matrix-Linux-x64-1d14cc0c