Skip to content

initial type checking #30

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.

Sign up for GitHub

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

Jump to bottom
Open
ledhed2222 wants to merge 1 commit into
base: master
Choose a base branch
from
Open

initial type checking #30

ledhed2222 wants to merge 1 commit into from

Conversation

@ledhed2222
Copy link
Contributor

@ledhed2222 ledhed2222 commented Nov 12, 2021 •
edited
Loading

setup basic type checking

  • later, we'll want to use the --strict flag with mypy. but for now this passes non strict checks and sets up GitHub Actions to check types ongoing

@ledhed2222
Copy link
Contributor Author

ledhed2222 commented Nov 14, 2021

@cslashm FYI :)

@cslashm
Copy link
Owner

cslashm commented Nov 20, 2021

@ledhed2222 I check asap. Thanks for your contribution

@ledhed2222
Copy link
Contributor Author

ledhed2222 commented Dec 21, 2021

@cslashm ping :)

1 similar comment
@ledhed2222
Copy link
Contributor Author

ledhed2222 commented Jan 25, 2022

@cslashm ping :)

@ledhed2222
Copy link
Contributor Author

ledhed2222 commented Feb 17, 2022

bump

@ledhed2222
Copy link
Contributor Author

ledhed2222 commented May 19, 2022

@cslashm bump

@ledhed2222
Copy link
Contributor Author

ledhed2222 commented Jun 24, 2022

bump

@ledhed2222
Copy link
Contributor Author

ledhed2222 commented Feb 16, 2023

hey can we look at this?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@ledhed2222 @cslashm