From 9022277c3f712399e5d14d42a3a85c4acda6aad7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@grepit.se>
Date: Wed, 3 Mar 2021 11:57:24 +0100
Subject: [PATCH] Fix GHA by removing duplicate CI-check

---
 .github/workflows/build.yml | 17 -----------------
 1 file changed, 17 deletions(-)

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