Add push trigger for develop branch in workflow

Author: srtfisher

.github/workflows/all-pr-tests.yml

@@ -1,6 +1,9 @@
 name: "All Pull Request Tests"
 
 on:
+  push:
+    branches:
+      - develop
   pull_request:
     branches:
       - develop
@@ -60,4 +63,4 @@ jobs:
           else
             echo "All jobs passed or were skipped"
             exit 0
-          fi
+          fi