about summary refs log tree commit diff
path: root/.github/workflows/clippy_dev.yml
diff options
context:
space:
mode:
authorflip1995 <hello@philkrones.com>2020-02-04 17:33:50 +0100
committerflip1995 <hello@philkrones.com>2020-02-12 09:34:28 +0100
commitb8b47ab6fe4e1c18db2685c406a508fe145c7de9 (patch)
treebe170c3ded4550826b98ea91f0d431b24c2e957d /.github/workflows/clippy_dev.yml
parent813d3192bb0267ba2971ab85c115d52119848ff5 (diff)
Add bors dummy jobs
Diffstat (limited to '.github/workflows/clippy_dev.yml')
-rw-r--r--.github/workflows/clippy_dev.yml26
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