From 93ccad7dad097e607cd2e7888552cae708634f73 Mon Sep 17 00:00:00 2001 From: Adam Izraelevitz Date: Fri, 22 Nov 2019 16:31:45 -0800 Subject: Fix mergify to backports: omit jenkins CI (#1246) --- .mergify.yml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.mergify.yml b/.mergify.yml index e0811257..ddf2ecea 100644 --- a/.mergify.yml +++ b/.mergify.yml @@ -51,16 +51,12 @@ pull_request_rules: - name: automatic squash-and-merge of backport PRs conditions: - - status-success=1 - compile - - status-success=2 - checkstyle - - status-success=2 - test - "status-success=ci/circleci: build-firrtl" - "status-success=ci/circleci: build-prep" - "status-success=ci/circleci: checkstyle-chisel" - "status-success=ci/circleci: test-chisel-2_11" - "status-success=ci/circleci: test-chisel-2_12" - status-success=license/cla - - status-success=pull request checks - "#changes-requested-reviews-by=0" - base=3.2.x - label="Backport" -- cgit v1.2.3