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

Organize source files #20

Merged
merged 3 commits into from
Jan 26, 2023
Merged

Organize source files #20

merged 3 commits into from
Jan 26, 2023

Conversation

binyamin555
Copy link
Member

Fixes #13

Rename `get_builtin_type_dict` to `get_type_dict`
@binyamin555
Copy link
Member Author

We should probably resolve the problem presented in #19 before merging

@binyamin555 binyamin555 added this to the Initial release milestone Jan 26, 2023
@binyamin555
Copy link
Member Author

I messed up :/

@binyamin555
Copy link
Member Author

Something's broken

@binyamin555
Copy link
Member Author

@neriyaco something broke GitHub's action system, so I'll wait for your review and once you approve I'll bypass the branch protection

@binyamin555 binyamin555 merged commit eb0d296 into main Jan 26, 2023
@binyamin555 binyamin555 deleted the binyamin/organize-code-base branch January 26, 2023 17:32
@neriyaco neriyaco restored the binyamin/organize-code-base branch January 29, 2023 15:31
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.

Organize code base
3 participants