Skip to content

Upgraded linting tooling #2026

Merged
antonpirker merged 4 commits into
masterfrom
antonpirker/upgrade_linting
Apr 25, 2023
Merged

Upgraded linting tooling #2026
antonpirker merged 4 commits into
masterfrom
antonpirker/upgrade_linting

Conversation

@antonpirker

@antonpirker antonpirker commented Apr 21, 2023

Copy link
Copy Markdown
Contributor

I had to remove and/or add some # type:ignore type hints because mypy does different things in Python 3.9 (the version we run it in earlier) and Python 3.11 (the version we run it in now)

@antonpirker
antonpirker merged commit 64c0987 into master Apr 25, 2023
@antonpirker
antonpirker deleted the antonpirker/upgrade_linting branch April 25, 2023 08:52
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.

2 participants