Skip to content

fix(ci): ignore some noisy linting errors#1781

Merged
pierrecamilleri merged 2 commits into
mainfrom
fix/ci-linting
May 21, 2026
Merged

fix(ci): ignore some noisy linting errors#1781
pierrecamilleri merged 2 commits into
mainfrom
fix/ci-linting

Conversation

@pierrecamilleri
Copy link
Copy Markdown
Collaborator

Problem

CI is again broken, this time because of an update of typer that does not satisfy pyright in the current state of affair.

Solution

Disable linter errors related to :

@pierrecamilleri pierrecamilleri merged commit 3fabc9c into main May 21, 2026
10 checks passed
@pierrecamilleri pierrecamilleri deleted the fix/ci-linting branch May 21, 2026 07:19
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.

1 participant