Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mypy type checking #167

Open
wants to merge 7 commits into
base: master
Choose a base branch
from
Open

Mypy type checking #167

wants to merge 7 commits into from

Conversation

palfrey
Copy link
Contributor

@palfrey palfrey commented Nov 23, 2023

Adds type checking. I think I've setup tox correctly, but not entirely sure.

@palfrey palfrey marked this pull request as ready for review November 24, 2023 00:01
@palfrey
Copy link
Contributor Author

palfrey commented Nov 24, 2023

- python-version: 2.7
toxenv: py27
# - python-version: 2.7
# toxenv: py27
Copy link
Contributor Author

Choose a reason for hiding this comment

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

The 2.7 bits either need fixing or removing elsewhere before this gets merged

@gruns
Copy link
Owner

gruns commented Nov 26, 2023

@palfrey this is AWESOME. HUGE thank you for this PR 🙌

ill review this soon and provide any feedback necessary before merging. ship ship ship :shipit:

@bernhardkaindl
Copy link

@gruns I've no relation, I just saw this and comment out out of coriosity. The happy post

@palfrey this is AWESOME. HUGE thank you for this PR 🙌
ill review this soon and provide any feedback necessary before merging. ship ship ship :shipit:

is now marked as "2 weeks ago.", btw :-)

@palfrey
Copy link
Contributor Author

palfrey commented Sep 5, 2024

@palfrey this is AWESOME. HUGE thank you for this PR 🙌

ill review this soon and provide any feedback necessary before merging. ship ship ship :shipit:

Hey. How's it going on this?

@palfrey
Copy link
Contributor Author

palfrey commented Nov 22, 2024

@gruns Given I'm seeing recent changes to this repo, if I resolved the conflicts here, is it likely to get reviewed/merged soon?

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.

3 participants