diff --git a/.github/workflows/only-allow-pull-requests-to-master-from-develop b/.github/workflows/only-allow-pull-requests-to-master-from-develop
index 9c1a255..7e79dc1 100644
--- 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
\ No newline at end of file
+      run: exit 1
+