diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml index 66c8638134603d199dbc3a779ea1ae1dddfc022c..4734958688757b98e9ff95a1dfa12a41e6787375 100644 --- a/.github/workflows/bors.yml +++ b/.github/workflows/bors.yml @@ -264,7 +264,7 @@ jobs: # ALL THE PREVIOUS JOBS NEED TO BE ADDED TO THE `needs` SECTION OF THIS JOB! end_success: - name: bors test finished + name: bors build finished if: github.event.pusher.name == 'bors' && success() runs-on: ubuntu-18.04 needs: [ @@ -285,7 +285,7 @@ jobs: run: exit 0 end_failure: - name: bors test finished + name: bors build finished if: github.event.pusher.name == 'bors' && (failure() || cancelled()) runs-on: ubuntu-18.04 needs: [