get ci pipelines functional, and switch to ruff linter/formatter #396
Annotations
6 errors
pyright:
role_welcome/role_welcome.py#L335
Argument of type "Guild | None" cannot be assigned to parameter "guild" of type "Guild" in function "guild"
Type "Guild | None" is not assignable to type "Guild"
"None" is not assignable to "Guild" (reportArgumentType)
|
pyright:
role_welcome/role_welcome.py#L338
Argument of type "Guild | None" cannot be assigned to parameter "guild" of type "Guild" in function "guild"
Type "Guild | None" is not assignable to type "Guild"
"None" is not assignable to "Guild" (reportArgumentType)
|
pyright:
timeout/timeout.py#L283
Argument of type "Role | None" cannot be assigned to parameter "element" of type "Role" in function "add"
Type "Role | None" is not assignable to type "Role"
"None" is not assignable to "Role" (reportArgumentType)
|
pyright
3 errors
|
Ruff (W293):
role_welcome/role_welcome.py#L329
role_welcome/role_welcome.py:329:1: W293 Blank line contains whitespace
|
ruff
The process '/opt/hostedtoolcache/ruff/0.9.6/x86_64/ruff' failed with exit code 1
|