chore: add develop to github workflows branches (#133)

Author: skosito

.github/workflows/build.yml

@@ -3,9 +3,7 @@ name: build
 on:
   pull_request:
   push:
-    branches:
-      - main
-      - release/*
+    branches: [ main, develop, release/* ]
 
 jobs:
   build:

.github/workflows/check.yml

@@ -13,7 +13,7 @@ permissions:
 # main branch ensures that the PR only gets built once.
 on:
   push:
-    branches: [ main ]
+    branches: [ main, develop, release/* ]
   pull_request:
 # If new code is pushed to a PR branch, then cancel in progress workflows for
 # that PR. Ensures that we don't waste CI time, and returns results quicker.

.github/workflows/coverage.yml

@@ -3,7 +3,7 @@ permissions:
   contents: read
 on:
   push:
-    branches: [ main ]
+    branches: [ main, develop, release/* ]
     paths-ignore:
       - "**.ts"
   pull_request:

.github/workflows/generate-files.yml

@@ -2,8 +2,7 @@ name: Generated Files are Updated
 on:
   merge_group:
   pull_request:
-    branches:
-      - "*"
+    branches: [ main, develop, release/* ]
 
 jobs:
   build:

.github/workflows/nostd.yml

@@ -2,7 +2,7 @@ name: test
 
 on:
   push:
-    branches: [ main ]
+    branches: [ main, develop, release/* ]
   pull_request:
 
 jobs: