Add workflow name

Dontrian · Nov 29, 2023 · 1476923 · 1476923
1 parent ea38333
commit 1476923
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
+