Migrate from bors to GitHub merge queues by Bromeon · Pull Request #337 · godot-rust/gdext (original) (raw)

Closes #255.

Extends the minimal-ci with a few more jobs that always run. One option would be to make this conditional on draft/ready PR, but that isn't done for now. We can adjust the number of jobs depending on what we find useful.

full-ci remains as is and will run whenever a PR reaches the front of the merge queue. It rebases the commits on master and thus always runs checks against the latest version.

For now, bors is still active, but I don't know if it can still be used with new branch protection rules. Over time, bors try will no longer be possible and has no equivalent in the merge queue. This should be OK by having a few more checks in the minimal CI; we could also add all checks there, with two stages (and 2nd only running after 1st passes).