diff options
| author | Adam Izraelevitz | 2019-11-22 16:31:45 -0800 |
|---|---|---|
| committer | GitHub | 2019-11-22 16:31:45 -0800 |
| commit | 93ccad7dad097e607cd2e7888552cae708634f73 (patch) | |
| tree | 080d6f3c6b764a0e01b9d3025ce2cedb6ff31cc5 | |
| parent | 4a4abfc56c7aec8113b9c74b7a98a5cb775aa9b5 (diff) | |
Fix mergify to backports: omit jenkins CI (#1246)
| -rw-r--r-- | .mergify.yml | 4 |
1 files changed, 0 insertions, 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" |