Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Prepare use of GitHub merge queues (model-checking#3408)
Merge queues should help us avoid having to merge from main repeatedly even when all approvals are in and all CI jobs have succeeded. See https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses. Co-authored-by: Felipe R. Monteiro <felisous@amazon.com>
- Loading branch information