chore(mergify): require the AppVeyor build to succeed

leanprover-community · Apr 6, 2019 · 8831e0a · 8831e0a
1 parent 8fa071f
commit 8831e0a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.mergify.yml b/.mergify.yml
@@ -2,6 +2,7 @@ pull_request_rules:
   - name: automatic merge on CI success and review
     conditions:
       - status-success=continuous-integration/travis-ci/pr
+      - status-success=continuous-integration/appveyor/pr
       - "#changes-requested-reviews-by=0"
       - base=master
       - label=ready-to-merge