Skip to content

Update Linting#20

Draft
danieleades wants to merge 13 commits intosphinx-contrib:masterfrom
danieleades:linting
Draft

Update Linting#20
danieleades wants to merge 13 commits intosphinx-contrib:masterfrom
danieleades:linting

Conversation

@danieleades
Copy link

This PR is based on #18.

It updates and tightens the linting using a combination of mypy, ruff, and pre-commit.

I've made a few code changes to meet a strict set of lints, and disabled any lints requiring larger changes for now (including mypy)

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