Skip to content
CI

[red-knot] Make is_subtype_of exhaustive #37272

Sign in to view logs

[red-knot] Make is_subtype_of exhaustive

[red-knot] Make is_subtype_of exhaustive #37272

Triggered via pull request December 12, 2024 18:15
@AlexWaygoodAlexWaygood
synchronize #14924
alex/subtype-of-exhaustive
Status Cancelled
Total duration 1m 2s
Billable time 1m
Artifacts –

ci.yaml

on: pull_request
Determine changes
12s
Determine changes
cargo fmt
18s
cargo fmt
cargo build (release)
0s
cargo build (release)
python package
38s
python package
pre-commit
51s
pre-commit
mkdocs
37s
mkdocs
cargo test (linux)
0s
cargo test (linux)
cargo clippy
16s
cargo clippy
cargo test (linux, release)
0s
cargo test (linux, release)
cargo test (windows)
17s
cargo test (windows)
cargo test (wasm)
18s
cargo test (wasm)
cargo build (msrv)
27s
cargo build (msrv)
cargo fuzz build
0s
cargo fuzz build
test scripts
16s
test scripts
cargo shear
18s
cargo shear
formatter instabilities and black similarity
0s
formatter instabilities and black similarity
benchmarks
17s
benchmarks
fuzz parser
0s
fuzz parser
ecosystem
0s
ecosystem
test ruff-lsp
0s
test ruff-lsp
Fit to window
Zoom out
Zoom in

Annotations

20 errors and 2 warnings
cargo test (linux)
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
cargo test (linux, release)
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
mkdocs
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
mkdocs
The operation was canceled.
benchmarks
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
cargo clippy
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
cargo clippy
The operation was canceled.
test scripts
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
test scripts
The operation was canceled.
python package
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
python package
The operation was canceled.
cargo test (windows)
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
cargo test (windows)
The operation was canceled.
cargo test (wasm)
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
cargo test (wasm)
The operation was canceled.
cargo shear
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
cargo shear
The operation was canceled.
cargo build (msrv)
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
pre-commit
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
pre-commit
The operation was canceled.
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