Closed FlorianPommerening closed 1 year ago
Thanks for the review. I pushed one more change into this (d44c6663) to fix #70. I think it fits the theme of cleaning up the environment and didn't want two competing pull requests that conflict with each other.
I think d44c666 was already part of what I reviewed, so it didn't influence my approval for this issue/pull request.
Ok, I'll merge then, and close the issues.
remove
batch_id
fromEnvironment.submit()
and use a better way of batching states in the search