Skip to content
CI

Add new alias kind Ambiguous and renormalize instantiated binders #206669

Sign in to view logs

Add new alias kind Ambiguous and renormalize instantiated binders

Add new alias kind Ambiguous and renormalize instantiated binders #206669

Triggered via pull request May 14, 2026 21:14
@lcnrlcnr
synchronize #156453
adwinwhite:renormalize-binder
Status Cancelled
Total duration 2m 3s
Artifacts –

ci.yml

on: pull_request
Calculate job matrix
35s
Calculate job matrix
Matrix: job
publish toolstate
0s
publish toolstate
Fit to window
Zoom out
Zoom in

Annotations

18 errors
PR - pr-check-2
Canceling since a higher priority waiting request for CI-refs/pull/156453/merge exists
PR - x86_64-gnu-miri
Canceling since a higher priority waiting request for CI-refs/pull/156453/merge exists
PR - x86_64-gnu-miri
The operation was canceled.
PR - aarch64-gnu-llvm-21-2
Canceling since a higher priority waiting request for CI-refs/pull/156453/merge exists
PR - aarch64-gnu-llvm-21-2
The operation was canceled.
PR - x86_64-gnu-tools
Canceling since a higher priority waiting request for CI-refs/pull/156453/merge exists
PR - x86_64-gnu-tools
The operation was canceled.
PR - x86_64-gnu-llvm-21
Canceling since a higher priority waiting request for CI-refs/pull/156453/merge exists
PR - x86_64-gnu-llvm-21
The operation was canceled.
PR - pr-check-1
Canceling since a higher priority waiting request for CI-refs/pull/156453/merge exists
PR - pr-check-1
The operation was canceled.
PR - tidy
Canceling since a higher priority waiting request for CI-refs/pull/156453/merge exists
PR - tidy
The operation was canceled.
PR - x86_64-gnu-gcc
Canceling since a higher priority waiting request for CI-refs/pull/156453/merge exists
PR - x86_64-gnu-gcc
The operation was canceled.
PR - aarch64-gnu-llvm-21-1
Canceling since a higher priority waiting request for CI-refs/pull/156453/merge exists
PR - aarch64-gnu-llvm-21-1
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-refs/pull/156453/merge exists