From fa2de97d870e0476cd7a0107193ae426ef8c3997 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@grepit.se>
Date: Tue, 19 Jan 2021 19:38:54 +0100
Subject: [PATCH] Remove the ci-failure GHA job

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e729db6775..d9be52008e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -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