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

Use typehints instead of comments and remove redundant object #287

Merged
merged 2 commits into from
Sep 9, 2023

Conversation

EJahren
Copy link

@EJahren EJahren commented Sep 8, 2023

@boxed we spoke earlier on discord. I just wanted to try a simple PR just to see what the house rules are like in your repository. Hopefully I haven't stepped on any feet :)

Now, I can't get most of the tests to work locally. Is there something wrong with my setup, or is it a known issue?

@boxed
Copy link
Owner

boxed commented Sep 9, 2023

As for the tests, you'd have to describe the problem you had.... afaik they should be good. They certainly run here on github.

@boxed boxed merged commit cc17547 into boxed:master Sep 9, 2023
3 checks passed
@EJahren
Copy link
Author

EJahren commented Sep 10, 2023

As for the tests, you'd have to describe the problem you had.... afaik they should be good. They certainly run here on github.

I figured it out, I am running python 3.11 and the issue is essentially this one: #266. It is fixed by installing pony from github.

@EJahren EJahren changed the title Housekeeping Use typehints instead of comments and remove redundant object Jun 1, 2024
@EJahren EJahren deleted the housekeeping branch June 1, 2024 20:50
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