[red knot] add Type::is_disjoint_from
and intersection simplifications
#34040
ci.yaml
on: pull_request
Determine changes
9s
cargo fmt
17s
python package
1m 22s
pre-commit
33s
mkdocs
2m 55s
cargo clippy
1m 58s
cargo test (windows)
9m 30s
cargo test (wasm)
1m 48s
cargo build (release)
4m 54s
cargo build (msrv)
3m 41s
cargo fuzz
4m 13s
test scripts
57s
cargo shear
25s
formatter instabilities and black similarity
0s
benchmarks
4m 57s
Annotations
2 warnings
cargo test (wasm)
The following actions use a deprecated Node.js version and will be forced to run on node20: jetli/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
cargo fuzz
Unexpected input(s) 'tool', valid inputs are ['']
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
ecosystem-result
|
226 Bytes |
|
pr-number
|
140 Bytes |
|
ruff
|
84.6 MB |
|