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

[WIP] Olsh exploration #1

Closed
wants to merge 1 commit into from
Closed

[WIP] Olsh exploration #1

wants to merge 1 commit into from

Conversation

Olshansk
Copy link
Member

A port of this PR celestiaorg/smt#74

@reviewpad reviewpad bot mentioned this pull request May 22, 2023
@Olshansk
Copy link
Member Author

@h5law Let me know if we can close this or if you still plan on referencing it in the future.

@reviewpad reviewpad bot added the large Pull request is large label Jun 12, 2023
@h5law
Copy link
Collaborator

h5law commented Jun 12, 2023

Let me know if we can close this or if you still plan on referencing it in the future.

@Olshansk I will probably reference this personally while looking into a visualiser but for now this can be closed

@Olshansk Olshansk closed this Jun 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
large Pull request is large
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants