Skip to content

chore(pre-commit): remove pyright from pre-commit#50

Merged
sahiljhawar merged 27 commits intoGFZ:mainfrom
sahiljhawar:pyright-ci
Feb 12, 2026
Merged

chore(pre-commit): remove pyright from pre-commit#50
sahiljhawar merged 27 commits intoGFZ:mainfrom
sahiljhawar:pyright-ci

Conversation

@sahiljhawar
Copy link
Collaborator

No description provided.

Copilot AI review requested due to automatic review settings February 11, 2026 19:21
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR removes the (commented) Pyright local hook from pre-commit and shifts Pyright type verification into CI via a dedicated GitHub Actions workflow, with a README badge added for visibility.

Changes:

  • Remove the commented-out Pyright local hook from .pre-commit-config.yaml.
  • Add a new .github/workflows/pyright.yml workflow to run pyright --verifytypes.
  • Update CI workflows/README (Pyright badge; bump checkout/setup-python action versions in tests.yml).

Reviewed changes

Copilot reviewed 4 out of 4 changed files in this pull request and generated 4 comments.

File Description
README.md Adds a CI status badge for the new Pyright workflow.
.pre-commit-config.yaml Removes the commented-out Pyright pre-commit hook block.
.github/workflows/tests.yml Bumps actions/checkout and actions/setup-python major versions used by CI jobs.
.github/workflows/pyright.yml Introduces a new workflow to run Pyright --verifytypes in CI.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Copilot reviewed 24 out of 24 changed files in this pull request and generated 9 comments.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

sahiljhawar and others added 5 commits February 12, 2026 18:18
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
sahiljhawar and others added 3 commits February 12, 2026 18:19
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@sahiljhawar sahiljhawar merged commit b8c0860 into GFZ:main Feb 12, 2026
7 of 9 checks passed
@sahiljhawar sahiljhawar deleted the pyright-ci branch February 12, 2026 17:26
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