Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixes #742. See https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions
- Loading branch information