Run CI on PRs to develop branch (#491)

Author: maxrjones

.github/workflows/main.yml

@@ -2,11 +2,11 @@ name: CI
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main" , "develop"]
     paths-ignore:
     - 'docs/**'
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main" , "develop"]
     paths-ignore:
     - 'docs/**'
   schedule:

.github/workflows/min-deps.yml

@@ -2,11 +2,11 @@ name: min-deps
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main" , "develop"]
     paths-ignore:
     - 'docs/**'
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main" , "develop"]
     paths-ignore:
     - 'docs/**'
   schedule:

.github/workflows/release.yml

@@ -6,7 +6,7 @@ on:
   # push:
   #   branches: [ "main" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main" , "develop"]
 
 permissions:
   contents: read

.github/workflows/typing.yml

@@ -2,11 +2,11 @@ name: Typing
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main" , "develop"]
     paths-ignore:
     - 'docs/**'
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main" , "develop"]
     paths-ignore:
     - 'docs/**'
   schedule:

.github/workflows/upstream.yml

@@ -2,11 +2,11 @@ name: upstream
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main" , "develop"]
     paths-ignore:
     - 'docs/**'
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main" , "develop"]
     paths-ignore:
     - 'docs/**'
   schedule: