diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index a2c2911022..9cf93e6bde 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -771,20 +771,3 @@ jobs: steps: - name: Mark the job as a success run: exit 0 - ci-failure: - name: ci - if: github.event_name == 'push' && !success() - needs: - - style - - check - - checkexamples - - checkmacros - - testv7 - - testv6 - - checkmulticore - - docs - - mdbook - runs-on: ubuntu-20.04 - steps: - - name: Mark the job as a failure - run: exit 1