+
+ end-success:
+ name: bors build finished
+ if: github.event.pusher.name == 'bors' && success()
+ runs-on: ubuntu-latest
+ needs: [rust, rust-cross, typescript]
+ steps:
+ - name: Mark the job as successful
+ run: exit 0
+
+ end-failure:
+ name: bors build finished
+ if: github.event.pusher.name == 'bors' && (failure() || cancelled())
+ runs-on: ubuntu-latest
+ needs: [rust, rust-cross, typescript]
+ steps:
+ - name: Mark the job as a failure
+ run: exit 1