Closed RalfJung closed 5 months ago
:pushpin: Commit 145447ac4b85270368e79aa7c4cf74c65cb922df has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 145447ac4b85270368e79aa7c4cf74c65cb922df with merge bf0e773016e8f98f9c8df4842148008245da28c5...
:broken_heart: Test failed - checks-actions
@bors r+
:pushpin: Commit 192a4db2cf5b0bbfc603faee200d2cdbbcc8b459 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 192a4db2cf5b0bbfc603faee200d2cdbbcc8b459 with merge e989fe7a2937775c50ee4d082bef83a64e93f178...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing e989fe7a2937775c50ee4d082bef83a64e93f178 to master...
@bors r+