Skip to content
CI

[red-knot] Simplify and generalize Type::is_subtype_of a little bit #39214

Sign in to view logs

[red-knot] Simplify and generalize Type::is_subtype_of a little bit

[red-knot] Simplify and generalize Type::is_subtype_of a little bit #39214

Triggered via pull request January 20, 2025 19:02
@AlexWaygoodAlexWaygood
opened #15622
alex/type-t-subtype
Status Success
Total duration 8m 11s
Billable time 8m
Artifacts 3

ci.yaml

on: pull_request
Determine changes
12s
Determine changes
cargo fmt
17s
cargo fmt
cargo build (release)
0s
cargo build (release)
python package
1m 27s
python package
pre-commit
3m 12s
pre-commit
mkdocs
2m 41s
mkdocs
cargo test (linux)
1m 48s
cargo test (linux)
cargo clippy
1m 51s
cargo clippy
cargo test (linux, release)
4m 3s
cargo test (linux, release)
cargo test (windows)
7m 40s
cargo test (windows)
cargo test (wasm)
1m 48s
cargo test (wasm)
cargo build (msrv)
4m 11s
cargo build (msrv)
cargo fuzz build
4m 41s
cargo fuzz build
test scripts
1m 11s
test scripts
cargo shear
24s
cargo shear
formatter instabilities and black similarity
0s
formatter instabilities and black similarity
benchmarks
5m 2s
benchmarks
fuzz parser
0s
fuzz parser
ecosystem
2m 43s
ecosystem
test ruff-lsp
42s
test ruff-lsp
Fit to window
Zoom out
Zoom in

Annotations

13 warnings
Determine changes
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
cargo fmt
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
cargo shear
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
python package
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test scripts
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
cargo clippy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
cargo test (wasm)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
mkdocs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
pre-commit
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test ruff-lsp
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
cargo build (msrv)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
cargo fuzz build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
cargo fuzz build
Unexpected input(s) 'tool', valid inputs are ['']

Artifacts

Produced during runtime
Name Size
ecosystem-result
226 Bytes
pr-number
140 Bytes
ruff
88.9 MB