Skip to content
CI

[red-knot] T is disjoint from ~T #40374

Sign in to view logs

[red-knot] T is disjoint from ~T

[red-knot] T is disjoint from ~T #40374

Triggered via pull request February 10, 2025 21:16
@sharkdpsharkdp
opened #16087
david/complement-disjointness
Status Success
Total duration 5m 34s
Billable time 6m
Artifacts 2

ci.yaml

on: pull_request
Determine changes
10s
Determine changes
cargo fmt
17s
cargo fmt
cargo build (release)
0s
cargo build (release)
python package
1m 17s
python package
pre-commit
3m 19s
pre-commit
mkdocs
2m 48s
mkdocs
cargo test (linux)
2m 9s
cargo test (linux)
cargo clippy
1m 54s
cargo clippy
cargo test (linux, release)
4m 28s
cargo test (linux, release)
cargo test (windows)
5m 6s
cargo test (windows)
cargo test (wasm)
1m 47s
cargo test (wasm)
cargo build (msrv)
1m 58s
cargo build (msrv)
cargo fuzz build
5m 1s
cargo fuzz build
test scripts
1m 1s
test scripts
cargo shear
26s
cargo shear
formatter instabilities and black similarity
0s
formatter instabilities and black similarity
benchmarks
4m 35s
benchmarks
fuzz parser
0s
fuzz parser
ecosystem
25s
ecosystem
test ruff-lsp
41s
test ruff-lsp
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
ecosystem
No files were found with the provided path: ecosystem-result. No artifacts will be uploaded.
cargo fuzz build
Unexpected input(s) 'tool', valid inputs are ['']

Artifacts

Produced during runtime
Name Size
pr-number
140 Bytes
ruff
89.4 MB