Skip to content
Back to pull request #15675

[red-knot] Ensure a gradual type can always be assigned to itself #39342

Sign in to view logs

[red-knot] Ensure a gradual type can always be assigned to itself

[red-knot] Ensure a gradual type can always be assigned to itself #39342

Triggered via pull request January 22, 2025 15:43
@AlexWaygoodAlexWaygood
opened #15675
alex/assignability-reflexive
Status Success
Total duration 6m 34s
Billable time 5m
Artifacts 3

ci.yaml

on: pull_request
Determine changes
9s
Determine changes
cargo fmt
18s
cargo fmt
cargo build (release)
0s
cargo build (release)
python package
1m 21s
python package
pre-commit
3m 20s
pre-commit
mkdocs
2m 31s
mkdocs
cargo test (linux)
1m 48s
cargo test (linux)
cargo clippy
1m 49s
cargo clippy
cargo test (linux, release)
4m 3s
cargo test (linux, release)
cargo test (windows)
4m 55s
cargo test (windows)
cargo test (wasm)
1m 41s
cargo test (wasm)
cargo build (msrv)
4m 10s
cargo build (msrv)
cargo fuzz build
5m 18s
cargo fuzz build
test scripts
1m 6s
test scripts
cargo shear
23s
cargo shear
formatter instabilities and black similarity
0s
formatter instabilities and black similarity
benchmarks
5m 12s
benchmarks
fuzz parser
0s
fuzz parser
ecosystem
2m 41s
ecosystem
test ruff-lsp
42s
test ruff-lsp
Fit to window
Zoom out
Zoom in

Annotations

13 warnings
cargo fmt
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Determine changes
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
cargo shear
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
mkdocs
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
cargo clippy
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