[red knot] add Type::is_disjoint_from
and intersection simplifications
#34170
Triggered via pull request
October 18, 2024 20:24
Status
Cancelled
Total duration
2m 16s
Artifacts
–
ci.yaml
on: pull_request
Determine changes
9s
cargo fmt
17s
python package
1m 23s
pre-commit
33s
mkdocs
1m 42s
cargo clippy
1m 16s
cargo test (windows)
1m 8s
cargo test (wasm)
1m 10s
cargo build (release)
1m 25s
cargo build (msrv)
1m 24s
cargo fuzz
1m 24s
test scripts
57s
cargo shear
27s
formatter instabilities and black similarity
0s
benchmarks
1m 24s
Annotations
18 errors and 1 warning
cargo test (wasm)
Canceling since a higher priority waiting request for 'CI-13775/merge-13775' exists
|
cargo test (wasm)
The operation was canceled.
|
cargo test (windows)
Canceling since a higher priority waiting request for 'CI-13775/merge-13775' exists
|
cargo test (windows)
The operation was canceled.
|
cargo clippy
Canceling since a higher priority waiting request for 'CI-13775/merge-13775' exists
|
cargo clippy
The operation was canceled.
|
cargo test (linux)
Canceling since a higher priority waiting request for 'CI-13775/merge-13775' exists
|
cargo test (linux)
The operation was canceled.
|
benchmarks
Canceling since a higher priority waiting request for 'CI-13775/merge-13775' exists
|
benchmarks
The operation was canceled.
|
cargo build (msrv)
Canceling since a higher priority waiting request for 'CI-13775/merge-13775' exists
|
cargo build (msrv)
The operation was canceled.
|
mkdocs
Canceling since a higher priority waiting request for 'CI-13775/merge-13775' exists
|
mkdocs
The operation was canceled.
|
cargo fuzz
Canceling since a higher priority waiting request for 'CI-13775/merge-13775' exists
|
cargo fuzz
The operation was canceled.
|
cargo build (release)
Canceling since a higher priority waiting request for 'CI-13775/merge-13775' exists
|
cargo build (release)
The operation was canceled.
|
cargo fuzz
Unexpected input(s) 'tool', valid inputs are ['']
|