Skip to content
CI - Pyright

Update to latest xDSL #536

Sign in to view logs

Update to latest xDSL

Update to latest xDSL #536

Triggered via push February 5, 2025 19:30
@math-fehrmath-fehr
pushed 76d898b
main
Status Failure
Total duration 51s
Artifacts –

ci-pyright.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

10 errors
build (3.10): xdsl_smt/cli/transfer_smt_verifier.py#L11
Type of "isa" is partially unknown   Type of "isa" is "(arg: Any, hint: Unknown) -> TypeGuard[_T@isa]" (reportUnknownVariableType)
build (3.10): xdsl_smt/cli/transfer_smt_verifier.py#L123
Type of "first" is unknown (reportUnknownMemberType)
build (3.10): xdsl_smt/cli/transfer_smt_verifier.py#L123
Type of "width" is unknown (reportUnknownMemberType)
build (3.10): xdsl_smt/cli/transfer_smt_verifier.py#L123
Type of "data" is unknown (reportUnknownMemberType)
build (3.10): xdsl_smt/cli/transfer_smt_verifier.py#L123
Argument type is unknown   Argument corresponds to parameter "__object" in function "append" (reportUnknownArgumentType)
build (3.10): xdsl_smt/cli/transfer_smt_verifier.py#L127
Type of "first" is unknown (reportUnknownMemberType)
build (3.10): xdsl_smt/cli/transfer_smt_verifier.py#L127
Type of "width" is unknown (reportUnknownMemberType)
build (3.10): xdsl_smt/cli/transfer_smt_verifier.py#L127
Type of "data" is unknown (reportUnknownMemberType)
build (3.10): xdsl_smt/cli/transfer_smt_verifier.py#L127
Type of "result_width" is unknown (reportUnknownVariableType)
build (3.10): xdsl_smt/cli/transfer_smt_verifier.py#L146
Argument type is unknown   Argument corresponds to parameter "__key" in function "__getitem__" (reportUnknownArgumentType)