From 9e77947e608d5a75ce785b9209e05f451b92c080 Mon Sep 17 00:00:00 2001
From: Danilo Pianini <danilo.pianini@unibo.it>
Date: Fri, 8 Dec 2023 15:19:11 +0100
Subject: [PATCH] ci: make `success` a separate closing job

---
 .github/workflows/build-and-deploy.yml | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-and-deploy.yml b/.github/workflows/build-and-deploy.yml
index 6996c0a..f98c9d4 100644
--- a/.github/workflows/build-and-deploy.yml
+++ b/.github/workflows/build-and-deploy.yml
@@ -19,7 +19,7 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-  success:
+  build:
     strategy:
       matrix:
         os: [windows, macos, ubuntu]
@@ -33,3 +33,15 @@ jobs:
         with:
           check-command: ./gradlew check runAll --parallel
           should-deploy: false
+  success:
+    runs-on: ubuntu-22.04
+    needs:
+      - build
+    if: >-
+      always() && (
+        contains(join(needs.*.result, ','), 'failure')
+        || !contains(join(needs.*.result, ','), 'cancelled')
+      )
+    steps:
+      - name: Verify that there were no failures
+        run: ${{ !contains(join(needs.*.result, ','), 'failure') }}