From 538928c6cec51f081d09d48d696a9ce1ecc4ffc5 Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Sat, 9 Nov 2024 20:46:11 +0100
Subject: [PATCH 1/2] update `create-release` workflow

---
 .github/workflows/create-release.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/create-release.yml b/.github/workflows/create-release.yml
index 3f1b8ff..ae8e6a3 100644
--- a/.github/workflows/create-release.yml
+++ b/.github/workflows/create-release.yml
@@ -4,6 +4,8 @@ on:
   push:
     branches:
       - main
+    paths:
+      - 'lean-toolchain'
 
 jobs:
   create-release:

From 26ebe719c8b47f4e3bf2c3b424d1f47bc762a89f Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Sat, 9 Nov 2024 21:44:31 +0100
Subject: [PATCH 2/2] enable status checks

---
 .github/workflows/blueprint.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index ff4fd71..8508e4b 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -145,3 +145,15 @@ jobs:
         if: github.event_name == 'push'
         id: deployment
         uses: actions/deploy-pages@v4
+
+  # Enable status check to ensure all jobs succeeded
+  check:
+    if: always()
+    needs:
+    - build_project
+    runs-on: Ubuntu-latest
+    steps:
+    - name: Decide whether the needed jobs succeeded or failed
+      uses: re-actors/alls-green@release/v1
+      with:
+        jobs: ${{ toJSON(needs) }}