Skip to content

Conversation

fu5ha
Copy link
Contributor

@fu5ha fu5ha commented May 10, 2023

Small followup to #138 applying a slight optimisation and fixing a bad auto-merge.

@fu5ha
Copy link
Contributor Author

fu5ha commented May 10, 2023

:hmm: not sure what the readme step is but it does seem to be failing 😅

@Jasper-Bekkers Jasper-Bekkers merged commit 614f915 into Traverse-Research:main May 12, 2023
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