Merge pull request #85 from Mic92/merge-when-green-joerg

add buildbot to mergify
Mic92 · Dec 1, 2024 · f67312c · f67312c
2 parents e7f6b99 + 0188252
commit f67312c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.mergify.yml b/.mergify.yml
@@ -10,6 +10,7 @@ queue_rules:
       - check-success=self-test (ubuntu-latest, --no-nom)
       - check-success=tests (macos-latest)
       - check-success=tests (ubuntu-latest)
+      - check-success=buildbot/nix-build
     merge_method: rebase
 
 pull_request_rules: