matthew/enhanced-discord.py
1
0
Fork 0
Code Issues 4 Pull Requests 21 Projects Releases Wiki Activity

Add typechecking for PRS/Commits #59

Merged
Daggy1234 merged 3 commits from patch-2 into 2.0 2021-09-21 18:52:04 +00:00
Conversation 1 Commits 3 Files Changed 2
+27
Daggy1234 commented 2021-09-06 13:14:48 +00:00 (Migrated from github.com)
Copy Link
Copy Source

Summary

There are typing errors that come up, this github action can run pyright to validate PR's/commits before merge.

Checklist

  • If code changes were made then they have been tested.
    • I have updated the documentation to reflect the changes.
  • This PR fixes an issue.
  • This PR adds something new (e.g. new method or parameters).
  • This PR is a breaking change (e.g. methods or parameters removed/renamed)
  • This PR is not a code change (e.g. documentation, README, ...)
## Summary There are typing errors that come up, this github action can run pyright to validate PR's/commits before merge. ## Checklist <!-- Put an x inside [ ] to check it, like so: [x] --> - [ ] If code changes were made then they have been tested. - [ ] I have updated the documentation to reflect the changes. - [ ] This PR fixes an issue. - [ ] This PR adds something new (e.g. new method or parameters). - [ ] This PR is a breaking change (e.g. methods or parameters removed/renamed) - [x] This PR is **not** a code change (e.g. documentation, README, ...)
IAmTomahawkx (Migrated from github.com) approved these changes 2021-09-21 18:48:51 +00:00
IAmTomahawkx (Migrated from github.com) left a comment
Copy Link
Copy Source

LGTM

LGTM
Sign in to join this conversation.
Reviewers
No Reviewers
IAmTomahawkx
Labels
Clear labels
bug
Something isn't working
 documentation
Improvements or additions to documentation
 duplicate
This issue or pull request already exists
 enhancement
New feature or request
 good first issue
Good for newcomers
 help wanted
Extra attention is needed
 invalid
This doesn't seem right
 question
Further information is requested
 wontfix
This will not be worked on
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
matthew (Matthew)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: matthew/enhanced-discord.py#59