[red-knot] Should A ∧ !A always be false? #39767
dcreagerci.yaml
on: pull_request
Determine changes
9s
cargo fmt
22s
cargo build (release)
0s
python package
1m 14s
pre-commit
3m 14s
mkdocs
2m 25s
cargo clippy
1m 48s
cargo test (linux, release)
2m 41s
cargo test (windows)
3m 12s
cargo test (wasm)
1m 43s
cargo build (msrv)
3m 11s
cargo fuzz build
3m 10s
test scripts
1m 3s
cargo shear
25s
formatter instabilities and black similarity
0s
benchmarks
3m 11s
Annotations
12 errors and 2 warnings
|
test ruff-lsp
Canceling since a higher priority waiting request for 'CI-15839/merge-15839' exists
|
|
test ruff-lsp
The operation was canceled.
|
|
cargo test (windows)
Canceling since a higher priority waiting request for 'CI-15839/merge-15839' exists
|
|
cargo test (windows)
The operation was canceled.
|
|
benchmarks
Canceling since a higher priority waiting request for 'CI-15839/merge-15839' exists
|
|
benchmarks
The operation was canceled.
|
|
cargo build (msrv)
Canceling since a higher priority waiting request for 'CI-15839/merge-15839' exists
|
|
cargo build (msrv)
The operation was canceled.
|
|
cargo test (linux, release)
Canceling since a higher priority waiting request for 'CI-15839/merge-15839' exists
|
|
cargo test (linux, release)
The operation was canceled.
|
|
cargo fuzz build
Canceling since a higher priority waiting request for 'CI-15839/merge-15839' exists
|
|
cargo fuzz build
The operation was canceled.
|
|
ecosystem
No files were found with the provided path: ecosystem-result. No artifacts will be uploaded.
|
|
cargo fuzz build
Unexpected input(s) 'tool', valid inputs are ['']
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
pr-number
|
140 Bytes |
|
|
ruff
|
88.9 MB |
|