Closed RalfJung closed 2 months ago
@bors r+
:pushpin: Commit 79198aee8e731aaa098aa81938202901ded2c746 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 79198aee8e731aaa098aa81938202901ded2c746 with merge ec28d383b817fbe66d22b023d7bef7618321e8d5...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing ec28d383b817fbe66d22b023d7bef7618321e8d5 to master...
I wrote these while debugging this; it turns out the issue is more complicated but these tests still seemed worth keeping.