diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-03-20 18:28:47 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-03-24 15:36:14 +0100 |
| commit | 89339df264ab09320e31f6edd9a6d355a09244fb (patch) | |
| tree | afc052c14bc0f8387642248f07f21f5135aa05e2 /.github/workflows | |
| parent | ba97ad35097146570508dff455f88a194daca3b6 (diff) | |
ci: run the "bors build finished" jobs only during try and auto runs
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6fea45a4c91..d1261f04b82 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -746,7 +746,7 @@ jobs: try-success: needs: - try - if: success() + if: "success() && github.event_name == 'push' && github.ref == 'refs/heads/try' && github.repository == 'rust-lang-ci/rust'" steps: - name: mark the job as a success run: exit 0 @@ -755,7 +755,7 @@ jobs: try-failure: needs: - try - if: "!success()" + if: "!success() && github.event_name == 'push' && github.ref == 'refs/heads/try' && github.repository == 'rust-lang-ci/rust'" steps: - name: mark the job as a failure run: exit 1 @@ -764,7 +764,7 @@ jobs: auto-success: needs: - auto - if: success() + if: "success() && github.event_name == 'push' && github.ref == 'refs/heads/auto' && github.repository == 'rust-lang-ci/rust'" steps: - name: mark the job as a success run: exit 0 @@ -773,7 +773,7 @@ jobs: auto-failure: needs: - auto - if: "!success()" + if: "!success() && github.event_name == 'push' && github.ref == 'refs/heads/auto' && github.repository == 'rust-lang-ci/rust'" steps: - name: mark the job as a failure run: exit 1 |