From 0d2540a3a56feda94ce7b9b99489e2648b48273c Mon Sep 17 00:00:00 2001
From: "Jorge O. Castro" <jorge.castro@gmail.com>
Date: Fri, 22 Sep 2023 21:05:28 -0400
Subject: [PATCH] chore(ci): add a general check (#512)

---
 .github/workflows/build.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 2fdfdd919a9..743c763129d 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -175,3 +175,12 @@ jobs:
         if: github.event_name != 'pull_request'
         run: |
           echo "${{ toJSON(steps.push.outputs) }}"
+
+  check:
+    name: Check all builds successful
+    runs-on: ubuntu-latest
+    needs: [push-ghcr]
+    steps:
+      - name: Exit
+        shell: bash
+        run: exit 0