Only run bors dummy jobs on push

Author: flip1995

.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]
 

.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]
 

.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]