Skip to content
Lint

Add the ability to fetch a user by name #513

Sign in to view logs

Add the ability to fetch a user by name

Add the ability to fetch a user by name #513

Triggered via push January 15, 2024 03:01
@dolfiesdolfies
pushed 12ee711
master
Status Success
Total duration 54s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint.yml

on: push
check
43s
check
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
check: discord/utils.py#L728
Unnecessary "# type: ignore" comment
check: discord/ext/commands/bot.py#L1056
Type variable "ContextT" may go unsolved if caller supplies no argument for parameter "cls"   Provide an overload that specifies the return type when the argument is not supplied (reportInvalidTypeVarUse)