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) }}
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: