Skip to content

Conversation

@Dr-Irv
Copy link
Contributor

@Dr-Irv Dr-Irv commented Feb 18, 2022

Ran pyright with "reportUnknownVariableType": true and ignored the warnings about "partially unknown" and fixed the ones that were fully unknown. See #165 .

@Dr-Irv
Copy link
Contributor Author

Dr-Irv commented Feb 18, 2022

@gramster I used the thing you suggested with the action you created for warning on partially unknown, and I get zero errors, but the CI shows it is failing. So I think you have to fix the action here.

@gramster gramster merged commit 0760586 into microsoft:main Feb 23, 2022
@Dr-Irv Dr-Irv deleted the unknownfix branch February 23, 2022 22:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants