Since the public instance of bors-ng is now offline, we are lacking any pre-merge CI checks for pull requests. We should at least extend our CI to also test pull requests in addition to local branches. Further, we might want to enable GitHub merge queues to get something close to the previous approach using bors-ng.
Since the public instance of bors-ng is now offline, we are lacking any pre-merge CI checks for pull requests. We should at least extend our CI to also test pull requests in addition to local branches. Further, we might want to enable GitHub merge queues to get something close to the previous approach using bors-ng.