Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci : reduce severity of unused Pyright ignore comments #9697

Merged
merged 1 commit into from
Sep 30, 2024

Conversation

compilade
Copy link
Collaborator

The pyright type check test otherwise fails because of unnecessary ignore comments (e.g. in #9694, even if unrelated). The capabilities of Pyright and/or type annotations of the Python dependencies of the convert scripts change over time. Since the "fix" to those warning doesn't really require code changes, I think it's more appropriate to not make them warnings (especially since the reportUnnecessaryTypeIgnoreComment check isn't enabled by default).

I've also updated the Pyright version used for the checks, and overriden the disableBytesTypePromotions option because the default was changed in version 1.1.378.

@github-actions github-actions bot added examples python python script changes devops improvements to build systems and github actions labels Sep 30, 2024
@compilade compilade merged commit 511636d into master Sep 30, 2024
10 checks passed
dsx1986 pushed a commit to dsx1986/llama.cpp that referenced this pull request Oct 29, 2024
arthw pushed a commit to arthw/llama.cpp that referenced this pull request Nov 15, 2024
arthw pushed a commit to arthw/llama.cpp that referenced this pull request Nov 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
devops improvements to build systems and github actions examples python python script changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants