Merge pull request #54 from Dontrian/feature/new-feature

Add workflow name
Dontrian · Nov 29, 2023 · b3567de · b3567de
2 parents 54616bf + 1476923
commit b3567de
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/only-allow-pull-requests-to-master-from-develop b/.github/workflows/only-allow-pull-requests-to-master-from-develop
@@ -1,3 +1,5 @@
+name: Check that pull request is from develop
+
 on:
   pull_request: # triggers on open, reopen and synchronize by default
     branches: ["master"]
@@ -11,4 +13,5 @@ on:
 
     steps:
     - name: Fail because the pull request is not from develop
-      run: exit 1
+      run: exit 1
+