diff options
| author | flip1995 <hello@philkrones.com> | 2020-02-04 17:33:50 +0100 |
|---|---|---|
| committer | flip1995 <hello@philkrones.com> | 2020-02-12 09:34:28 +0100 |
| commit | b8b47ab6fe4e1c18db2685c406a508fe145c7de9 (patch) | |
| tree | be170c3ded4550826b98ea91f0d431b24c2e957d /.github/workflows/clippy_dev.yml | |
| parent | 813d3192bb0267ba2971ab85c115d52119848ff5 (diff) | |
Add bors dummy jobs
Diffstat (limited to '.github/workflows/clippy_dev.yml')
| -rw-r--r-- | .github/workflows/clippy_dev.yml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/.github/workflows/clippy_dev.yml b/.github/workflows/clippy_dev.yml index d054b6ba750..e4409ee80a5 100644 --- a/.github/workflows/clippy_dev.yml +++ b/.github/workflows/clippy_dev.yml @@ -42,3 +42,29 @@ jobs: run: cargo dev update_lints --check - name: Test fmt run: cargo dev fmt --check + + # These jobs doesn't actually test anything, but they're only used to tell + # bors the build completed, as there is no practical way to detect when a + # workflow is successful listening to webhooks only. + # + # ALL THE PREVIOUS JOBS NEED TO BE ADDED TO THE `needs` SECTION OF THIS JOB! + + end-success: + name: bors dev test finished + if: github.event.pusher.name == 'bors' && success() + runs-on: ubuntu-latest + needs: [clippy_dev] + + steps: + - name: Mark the job as successful + run: exit 0 + + end-failure: + name: bors dev test finished + if: github.event.pusher.name == 'bors' && (failure() || cancelled()) + runs-on: ubuntu-latest + needs: [clippy_dev] + + steps: + - name: Mark the job as a failure + run: exit 1 |
