Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Ci/Mergify: Wait for github actions, not hydra (#2748)
* Ci/Mergify: Wait for github actions, not hydra follow up to #2744: Mergify should consider PRs mergable when the Github actions succeed.
- Loading branch information