fix: trigger on push to master as well

Dontrian · Dec 6, 2023 · 20310da · 20310da
1 parent da8729d
commit 20310da
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/only-allow-pull-requests-to-master-from-develop.yml b/.github/workflows/only-allow-pull-requests-to-master-from-develop.yml
@@ -3,6 +3,9 @@ name: Check that pull request is from develop
 on:
   pull_request: # triggers on open, reopen and synchronize by default
     branches: ["master"]
+  push:
+    branches:
+      - master
 
 jobs:    
   bump-version: