Closed nolan-veed closed 4 months ago
:robot: Upon creation, pull request description does not have a link to an issue. If there is a related issue, please add it to the description using any of the supported formats.
:robot: The latest upstream change made this pull request unmergeable. Please resolve the merge conflicts.
Thanks for PR!
IArena&
instead of IArena*
.CI failure is unrelated, you can ignore it.
:robot: The latest upstream change made this pull request unmergeable. Please resolve the merge conflicts.
CI failure is unrelated, you can ignore it.
Should be ready now. I had forgotten about point 2.
LGTM!
Small follow-up: ec82adab1ca2ea32ef904a82ff994c292219cf0c
Why
For #691
What
Testing
Existing tests should suffice.