Skip to content

Tie pyright version in GHA to pyright version in pre-commit#985

Merged
ewjoachim merged 1 commit intomainfrom tie-pyright-to-pre-commitMar 14, 2024

Commits

Commits on Mar 14, 2024