Remove the ci-failure GHA job
@@ -763,21 +763,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
- - testexamples
- - checkmacros
- - testmacros
- - testv7
- - testv6
- - docs
- - mdbook
- runs-on: ubuntu-20.04
- steps:
- - name: Mark the job as a failure
- run: exit 1
