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

jmt: remove unused types #108

Merged
merged 2 commits into from
Mar 23, 2024
Merged

jmt: remove unused types #108

merged 2 commits into from
Mar 23, 2024

Conversation

erwanor
Copy link
Member

@erwanor erwanor commented Dec 14, 2023

Removes a bunch of obsolete types like BlockInfo, part of #103.

@erwanor erwanor changed the title jmt: remove unused types (discovery) jmt: remove unused types Dec 14, 2023
@erwanor erwanor force-pushed the erwan/remove_block_info branch from a4d8b07 to 5d8f1f6 Compare March 23, 2024 12:47
Copy link
Collaborator

@preston-evans98 preston-evans98 left a comment

Choose a reason for hiding this comment

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

Looks great, thanks @erwanor!

@erwanor erwanor merged commit 877fd78 into main Mar 23, 2024
10 checks passed
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