delete the mirror workflow for now #87
ShineyDevAnnotations
10 errors and 4 warnings
|
Check:
pretty/__init__.py#L48
"pretty_theme" is not a known member of module "pretty.utility"
|
|
Check:
pretty/traceback/formatter.py#L518
Argument of type "int | None" cannot be assigned to parameter "limit" of type "int" in function "walk_stack"\n Type "int | None" cannot be assigned to type "int"\n "None" is incompatible with "int"
|
|
Check:
pretty/traceback/formatter.py#L545
Argument of type "int | None" cannot be assigned to parameter "limit" of type "int" in function "walk_stack"\n Type "int | None" cannot be assigned to type "int"\n "None" is incompatible with "int"
|
|
Check:
pretty/traceback/formatter.py#L570
No overloads for "join" match the provided arguments
|
|
Check:
pretty/traceback/formatter.py#L570
Argument of type "int | None" cannot be assigned to parameter "limit" of type "int" in function "format_traceback"\n Type "int | None" cannot be assigned to type "int"\n "None" is incompatible with "int"
|
|
Check:
pretty/traceback/formatter.py#L671
Argument of type "int | None" cannot be assigned to parameter "limit" of type "int" in function "format_traceback"\n Type "int | None" cannot be assigned to type "int"\n "None" is incompatible with "int"
|
|
Check:
pretty/traceback/formatter.py#L699
Argument of type "int | None" cannot be assigned to parameter "limit" of type "int" in function "walk_stack"\n Type "int | None" cannot be assigned to type "int"\n "None" is incompatible with "int"
|
|
Check:
pretty/traceback/formatter.py#L710
Argument of type "int | None" cannot be assigned to parameter "limit" of type "int" in function "walk_stack"\n Type "int | None" cannot be assigned to type "int"\n "None" is incompatible with "int"
|
|
Check:
pretty/traceback/formatter.py#L721
Argument of type "int | None" cannot be assigned to parameter "limit" of type "int" in function "print_traceback"\n Type "int | None" cannot be assigned to type "int"\n "None" is incompatible with "int"
|
|
Check:
pretty/traceback/formatter.py#L721
Argument of type "TextIO | None" cannot be assigned to parameter "stream" of type "TextIO" in function "print_traceback"\n Type "TextIO | None" cannot be assigned to type "TextIO"\n "None" is incompatible with "TextIO"
|
|
Check:
pretty/traceback/formatter.py#L663
Unnecessary "# type: ignore" comment
|
|
Check:
pretty/traceback/formatter.py#L779
Unnecessary "# type: ignore" comment
|
|
Check:
pretty/traceback/formatter.py#L915
Unnecessary "# pyright: ignore" rule: "reportGeneralTypeIssues"
|
|
Check:
pretty/traceback/formatter.py#L920
Unnecessary "# type: ignore" comment
|