Merge #453

453: Fix GHA by removing duplicate CI-check r=korken89 a=AfoHT

Same as done in fa2de97d87

Co-authored-by: Henrik Tjäder <henrik@grepit.se>

.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