Create create-release.yml (#213)

ImperialCollegeLondon · Nov 11, 2024 · 29dfe42 · 29dfe42
1 parent 983b1db
commit 29dfe42
Showing 1 changed file with 5 additions and 4 deletions.
diff --git 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