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.

Sign up for GitHub

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

Jump to bottom

bug fixes #127

Merged

robfitzgerald merged 3 commits into main from rjf/bugfix-mutable-input-plugins

Feb 16, 2024

Collaborator

robfitzgerald commented Feb 16, 2024

caught a few bugs after my recent PR:

forgot to switch to mutable update for edge rtree plugin
forgot to make flattening JSON an operation between each input plugin, so grid search result would stay nested

robfitzgerald added 2 commits

February 16, 2024 15:14


          bug fixes

14dd366


          short circuit with no allocation

9f9ebcd

robfitzgerald requested a review from nreinicke

February 16, 2024 22:20


          Merge branch 'main' into rjf/bugfix-mutable-input-plugins

0f6e998

nreinicke approved these changes

View reviewed changes

Collaborator

nreinicke left a comment

Yep, this makes sense to me!

robfitzgerald merged commit 29134db into main

5 checks passed

robfitzgerald deleted the rjf/bugfix-mutable-input-plugins branch

February 16, 2024 22:55

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet