Closed github-actions[bot] closed 5 months ago
:pushpin: Commit 689e1df5d22fee16e888d126950e6f9cc46ab598 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 689e1df5d22fee16e888d126950e6f9cc46ab598 with merge 9e3e41c316adf7cc3fd6d55a233c797571846c17...
:broken_heart: Test failed - checks-actions
@bors r+
:pushpin: Commit 0078efcd4602de69278fa83b6658e0fc0ad70bf8 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 0078efcd4602de69278fa83b6658e0fc0ad70bf8 with merge ba6120292a12236576a260e89431c73f503c4d9e...
:broken_heart: Test failed - checks-actions
@bors r+
:pushpin: Commit db7cbf2c846d9eb0edd7ed768aba07ef14b75e50 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit db7cbf2c846d9eb0edd7ed768aba07ef14b75e50 with merge 361e014b6a0a6ba2fb851fe91e86fcda518b4ca1...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 361e014b6a0a6ba2fb851fe91e86fcda518b4ca1 to master...
@bors r+