Skip to content
CI

[red-knot] Use ternary decision diagrams (TDDs) for visibility constraints #39785

Sign in to view logs

[red-knot] Use ternary decision diagrams (TDDs) for visibility constraints

[red-knot] Use ternary decision diagrams (TDDs) for visibility constraints #39785

Triggered via pull request January 31, 2025 22:49
@dcreagerdcreager
synchronize #15861
dcreager/tdd
Status Cancelled
Total duration 1m 39s
Billable time 2m
Artifacts –

ci.yaml

on: pull_request
Determine changes
11s
Determine changes
cargo fmt
17s
cargo fmt
cargo build (release)
0s
cargo build (release)
python package
1m 12s
python package
pre-commit
1m 27s
pre-commit
mkdocs
1m 28s
mkdocs
cargo test (linux)
38s
cargo test (linux)
cargo clippy
1m 7s
cargo clippy
cargo test (linux, release)
50s
cargo test (linux, release)
cargo test (windows)
1m 1s
cargo test (windows)
cargo test (wasm)
1m 7s
cargo test (wasm)
cargo build (msrv)
1m 8s
cargo build (msrv)
cargo fuzz build
1m 8s
cargo fuzz build
test scripts
58s
test scripts
cargo shear
25s
cargo shear
formatter instabilities and black similarity
1m 7s
formatter instabilities and black similarity
benchmarks
1m 8s
benchmarks
fuzz parser
0s
fuzz parser
ecosystem
0s
ecosystem
test ruff-lsp
0s
test ruff-lsp
Fit to window
Zoom out
Zoom in

Annotations

26 errors and 1 warning
cargo test (linux)
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
cargo test (linux)
The operation was canceled.
python package
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
python package
The operation was canceled.
test scripts
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
test scripts
The operation was canceled.
cargo test (windows)
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
cargo test (windows)
The operation was canceled.
benchmarks
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
benchmarks
The operation was canceled.
cargo clippy
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
cargo clippy
The operation was canceled.
cargo test (linux, release)
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
cargo test (linux, release)
The operation was canceled.
formatter instabilities and black similarity
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
formatter instabilities and black similarity
The operation was canceled.
cargo test (wasm)
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
cargo test (wasm)
The operation was canceled.
pre-commit
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
pre-commit
The operation was canceled.
cargo build (msrv)
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
cargo build (msrv)
The operation was canceled.
cargo fuzz build
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
cargo fuzz build
The operation was canceled.
mkdocs
Canceling since a higher priority waiting request for 'CI-15861/merge-15861' exists
mkdocs
The operation was canceled.
cargo fuzz build
Unexpected input(s) 'tool', valid inputs are ['']