Fix GHA by removing duplicate CI-check

.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