[red-knot] Should A ∧ !A always be false? #39723
dcreagerci.yaml
on: pull_request
Determine changes
12s
cargo fmt
20s
cargo build (release)
0s
python package
1m 29s
pre-commit
3m 14s
mkdocs
2m 23s
cargo clippy
1m 49s
cargo test (linux, release)
3m 26s
cargo test (windows)
4m 25s
cargo test (wasm)
1m 35s
cargo build (msrv)
3m 40s
cargo fuzz build
4m 9s
test scripts
1m 1s
cargo shear
22s
formatter instabilities and black similarity
0s
benchmarks
4m 56s
Annotations
4 errors and 1 warning
|
cargo test (linux)
Process completed with exit code 1.
|
|
cargo build (msrv)
Process completed with exit code 1.
|
|
cargo test (linux, release)
Process completed with exit code 1.
|
|
cargo test (windows)
Process completed with exit code 100.
|
|
cargo fuzz build
Unexpected input(s) 'tool', valid inputs are ['']
|