diff options
| author | Jack Koenig | 2019-12-02 17:42:03 -0800 |
|---|---|---|
| committer | GitHub | 2019-12-02 17:42:03 -0800 |
| commit | 2a78c81571b07f499518a83b3fee8026bd847009 (patch) | |
| tree | d99b550315e8593cf3e210dce5fcc523ef0a92e8 | |
| parent | 8edca94f94dac5e8b9a6a8793e88a7782d351401 (diff) | |
Remove Jenkins CI from .mergify.yml (#1264)
| -rw-r--r-- | .mergify.yml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.mergify.yml b/.mergify.yml index 76357042..2167f6f3 100644 --- a/.mergify.yml +++ b/.mergify.yml @@ -8,16 +8,12 @@ pull_request_rules: pull_request_rules: - name: automatic squash-and-merge on CI success and review 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 - "#approved-reviews-by>=1" - "#changes-requested-reviews-by=0" - base=master |