Skip to content
This repository has been archived by the owner on Jul 20, 2023. It is now read-only.

refactor: update pyright #33

Merged
merged 3 commits into from
Jul 19, 2023
Merged

refactor: update pyright #33

merged 3 commits into from
Jul 19, 2023

Conversation

EmmmaTech
Copy link
Member

This PR updates Pyright to 1.1.317.

@EmmmaTech EmmmaTech added p: high priority: high - This PR/issue is important and should be worked on now. s: done status: done - This PR/issue is finished. t: refactor type: refactor - This PR refactors code or this issue proposes to refactor code. labels Jul 19, 2023
@EmmmaTech EmmmaTech merged commit 2937f73 into main Jul 19, 2023
3 checks passed
@EmmmaTech EmmmaTech deleted the refactor/update-pyright branch July 19, 2023 06:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
p: high priority: high - This PR/issue is important and should be worked on now. s: done status: done - This PR/issue is finished. t: refactor type: refactor - This PR refactors code or this issue proposes to refactor code.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant