Closed RalfJung closed 1 month ago
:pushpin: Commit 25a7c926c7a6381cf85baf24067d20829e7f026c has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 25a7c926c7a6381cf85baf24067d20829e7f026c with merge b1e702faf232d9598634c0dea316f0aa2c79a06c...
@bors retry r+
:pushpin: Commit ec361cc941a50e19c32b69be95cc77ca362d7b1c has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit ec361cc941a50e19c32b69be95cc77ca362d7b1c with merge a0a651a2e2a28feaf556b1706b77e0465af6eb53...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing a0a651a2e2a28feaf556b1706b77e0465af6eb53 to master...
@bors r+