Only run bors dummy jobs on push

rust-lang · Feb 4, 2020 · 58693e9 · 58693e9
1 parent 9b6cbec
commit 58693e9
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/clippy_bors.yml b/.github/workflows/clippy_bors.yml
@@ -275,7 +275,7 @@ jobs:
 
   end-success:
     name: bors test finished
-    if: success()
+    if: github.event.push && success()
     runs-on: ubuntu-latest
     needs: [base, integration]
 
@@ -285,7 +285,7 @@ jobs:
 
   end-failure:
     name: bors test finished
-    if: failure()
+    if: github.event.push && failure()
     runs-on: ubuntu-latest
     needs: [base, integration]
 

diff --git a/.github/workflows/clippy_dev.yml b/.github/workflows/clippy_dev.yml
@@ -51,7 +51,7 @@ jobs:
 
   end-success:
     name: bors dev test finished
-    if: success()
+    if: github.event.push && success()
     runs-on: ubuntu-latest
     needs: [clippy_dev]
 
@@ -61,7 +61,7 @@ jobs:
 
   end-failure:
     name: bors dev test finished
-    if: failure()
+    if: github.event.push && failure()
     runs-on: ubuntu-latest
     needs: [clippy_dev]
 

diff --git a/.github/workflows/remark.yml b/.github/workflows/remark.yml
@@ -31,7 +31,7 @@ jobs:
 
   end-success:
     name: bors remark test finished
-    if: success()
+    if: github.event.push && success()
     runs-on: ubuntu-latest
     needs: [remark]
 
@@ -41,7 +41,7 @@ jobs:
 
   end-failure:
     name: bors remark test finished
-    if: failure()
+    if: github.event.push && failure()
     runs-on: ubuntu-latest
     needs: [remark]