Also fail dummy bors jobs on cancel

Author: flip1995

.github/workflows/clippy_bors.yml

@@ -279,7 +279,7 @@ jobs:
 
   end-failure:
     name: bors test finished
-    if: github.event.pusher.name == 'bors' && failure()
+    if: github.event.pusher.name == 'bors' && (failure() || cancelled())
     runs-on: ubuntu-latest
     needs: [base, integration]
 

.github/workflows/clippy_dev.yml

@@ -57,7 +57,7 @@ jobs:
 
   end-failure:
     name: bors dev test finished
-    if: github.event.pusher.name == 'bors' && failure()
+    if: github.event.pusher.name == 'bors' && (failure() || cancelled())
     runs-on: ubuntu-latest
     needs: [clippy_dev]
 

.github/workflows/remark.yml

@@ -40,7 +40,7 @@ jobs:
 
   end-failure:
     name: bors remark test finished
-    if: github.event.pusher.name == 'bors' && failure()
+    if: github.event.pusher.name == 'bors' && (failure() || cancelled())
     runs-on: ubuntu-latest
     needs: [remark]