From 29dfe4207421c9c8033366d65b3a084f93f03fcb Mon Sep 17 00:00:00 2001
From: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Date: Mon, 11 Nov 2024 16:24:06 +0100
Subject: [PATCH] Create create-release.yml (#213)

---
 .github/workflows/create-release.yml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/create-release.yml b/.github/workflows/create-release.yml
index 8c42ce20..5e9173eb 100644
--- a/.github/workflows/create-release.yml
+++ b/.github/workflows/create-release.yml
@@ -4,13 +4,14 @@ on:
   push:
     branches:
       - main
-    paths:
-      - 'lean-toolchain'
-
+      
 jobs:
   create_release:
+    paths:
+      - 'lean-toolchain'
+      
     runs-on: ubuntu-latest
-
+    
     steps:
       - name: Checkout code
         uses: actions/checkout@v4