Skip to content
CI

[red-knot] Make is_subtype_of exhaustive #37273

Sign in to view logs

[red-knot] Make is_subtype_of exhaustive

[red-knot] Make is_subtype_of exhaustive #37273

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

ci.yaml

on: pull_request
Determine changes
10s
Determine changes
cargo fmt
19s
cargo fmt
cargo build (release)
0s
cargo build (release)
python package
1m 22s
python package
pre-commit
35s
pre-commit
mkdocs
2m 19s
mkdocs
cargo test (linux)
1m 45s
cargo test (linux)
cargo clippy
1m 52s
cargo clippy
cargo test (linux, release)
2m 4s
cargo test (linux, release)
cargo test (windows)
50s
cargo test (windows)
cargo test (wasm)
1m 31s
cargo test (wasm)
cargo build (msrv)
2m 1s
cargo build (msrv)
cargo fuzz build
0s
cargo fuzz build
test scripts
1m 5s
test scripts
cargo shear
21s
cargo shear
formatter instabilities and black similarity
0s
formatter instabilities and black similarity
benchmarks
2m 2s
benchmarks
fuzz parser
0s
fuzz parser
ecosystem
0s
ecosystem
test ruff-lsp
1s
test ruff-lsp
Fit to window
Zoom out
Zoom in

Annotations

15 errors and 7 warnings
ecosystem
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
test ruff-lsp
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
test ruff-lsp
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 clippy
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
cargo clippy
The operation was canceled.
cargo build (msrv)
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
cargo build (msrv)
The operation was canceled.
cargo test (linux, release)
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
cargo test (linux, release)
The operation was canceled.
benchmarks
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
benchmarks
The operation was canceled.
mkdocs
Canceling since a higher priority waiting request for 'CI-14924/merge-14924' exists
mkdocs
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
pre-commit
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 test (wasm)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
ruff
85.2 MB