Closed RalfJung closed 5 months ago
@bors r+
:pushpin: Commit 3b486970d175af4961e8656d273b67fa769f4916 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 3b486970d175af4961e8656d273b67fa769f4916 with merge 969f4cca8edb9a1772e55b551e97262e1859441a...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 969f4cca8edb9a1772e55b551e97262e1859441a to master...
Same as anyhow: custom build probe, widely used.