Closed github-actions[bot] closed 2 months ago
:pushpin: Commit 18f3357d75016a3a2096281619183124b8acdb59 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 18f3357d75016a3a2096281619183124b8acdb59 with merge 66bbc551b6cf423d310909b89801812fb8b6dfa7...
:broken_heart: Test failed - checks-actions
@bors r+
:pushpin: Commit e76b08bcee619d92b3259d54e4c089b76edb1caa has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit e76b08bcee619d92b3259d54e4c089b76edb1caa with merge ccb02936ce3b452e3a9f90c9779a91b7611b92a8...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing ccb02936ce3b452e3a9f90c9779a91b7611b92a8 to master...
@bors r+