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

Bugfixes and better type namespacing #4

Merged
merged 12 commits into from
Oct 16, 2024
Merged

Bugfixes and better type namespacing #4

merged 12 commits into from
Oct 16, 2024

Conversation

aryzing
Copy link
Contributor

@aryzing aryzing commented Sep 12, 2024

Refactors package for several bugfixes and better type namespacing

@aryzing aryzing force-pushed the edu-namespace-types branch from e1f675b to ea4bcc7 Compare September 27, 2024 14:53
@aryzing aryzing marked this pull request as ready for review October 14, 2024 14:13
@aryzing aryzing requested a review from dhriaznov October 14, 2024 14:14
@aryzing aryzing changed the title wip Bugfixes and better type namespacing Oct 14, 2024
@aryzing aryzing mentioned this pull request Oct 14, 2024
Copy link

@dhriaznov dhriaznov left a comment

Choose a reason for hiding this comment

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

LGTM

@aryzing aryzing merged commit 35eef7f into main Oct 16, 2024
1 check passed
@aryzing aryzing deleted the edu-namespace-types branch October 16, 2024 14:11
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