ci: add develop branch to the list of branches to run

Author: j75689

.github/workflows/book.yml

@@ -6,9 +6,9 @@ concurrency:
 
 on:
   push:
-    branches: [main]
+    branches: [main, develop]
   pull_request:
-    branches: [main]
+    branches: [main, develop]
   merge_group:
 
 jobs:

.github/workflows/cachegrind.yml

@@ -2,7 +2,7 @@ name: Valgrind Cachegrind
 
 on:
   pull_request:
-    branches: [main]
+    branches: [main, develop]
 
 jobs:
   valgrind:

.github/workflows/ci.yml

@@ -6,9 +6,9 @@ concurrency:
 
 on:
   push:
-    branches: [main, "release/**"]
+    branches: [main, develop, "release/**"]
   pull_request:
-    branches: [main, "release/**"]
+    branches: [main, develop, "release/**"]
 
 env:
   CARGO_TERM_COLOR: always

.github/workflows/ethereum-tests.yml

@@ -6,9 +6,9 @@ concurrency:
 
 on:
   push:
-    branches: [main, "release/**"]
+    branches: [main, develop, "release/**"]
   pull_request:
-    branches: [main, "release/**"]
+    branches: [main, develop, "release/**"]
 
 jobs:
   tests-stable: