Closed mkroening closed 2 years ago
Closes https://github.com/hermitcore/hermit-playground/issues/2.
bors r+
Timed out.
bors cancel
Canceled.
Build succeeded:
Closes https://github.com/hermitcore/hermit-playground/issues/2.