Closed github-actions[bot] closed 1 week ago
:pushpin: Commit 87ff19af88ab381a45ce0f5189180f38d1b9e467 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 87ff19af88ab381a45ce0f5189180f38d1b9e467 with merge 2cb8f1606e8e68461de26f062eac2d62c2eb6b1f...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 2cb8f1606e8e68461de26f062eac2d62c2eb6b1f to master...
Very strange, the macOS job took 1h45min this time...
@bors r+ (I had already sent this via email... bit github sometimes seems to ignore these emails...)