Run CI on pull requests into dev

CONTRIBUTING asks contributors to target dev, but every workflow only
triggered on PRs into main, so contributor PRs merged with no checks
and failures surfaced only after the push to dev.

.github/workflows/backend-ci.yml

@@ -15,7 +15,7 @@ on:
       - 'backend/**'
       - '.github/workflows/backend-ci.yml'
   pull_request:
-    branches: [main]
+    branches: [main, dev]
     paths:
       - 'backend/**'
       - '.github/workflows/backend-ci.yml'

.github/workflows/extensions-ci.yml

@@ -15,7 +15,7 @@ on:
       - 'scripts/sync-builtin-frontends.mjs'
       - '.github/workflows/extensions-ci.yml'
   pull_request:
-    branches: [main]
+    branches: [main, dev]
     paths:
       - 'builtin-extensions/**'
       - 'frontend/src/plugins/**'

.github/workflows/frontend-ci.yml

@@ -16,7 +16,7 @@ on:
       - 'scripts/check-html-sinks.mjs'
       - '.github/workflows/frontend-ci.yml'
   pull_request:
-    branches: [main]
+    branches: [main, dev]
     paths:
       - 'frontend/**'
       - 'backend/app/**'

.github/workflows/measurements-ci.yml

@@ -18,7 +18,7 @@ on:
       - 'scripts/test/test_measure_runtime.py'
       - '.github/workflows/measurements-ci.yml'
   pull_request:
-    branches: [main]
+    branches: [main, dev]
     paths:
       - 'README.md'
       - 'docs/README*.md'

.github/workflows/scripts-ci.yml

@@ -26,7 +26,7 @@ on:
       - '.github/workflows/version-bump.yml'
       - '.github/workflows/scripts-ci.yml'
   pull_request:
-    branches: [main]
+    branches: [main, dev]
     paths:
       - 'scripts/**'
       - 'templates/**'

.github/workflows/security-scan.yml

@@ -12,7 +12,7 @@ on:
       - 'scripts/security/**'
       - '.github/workflows/security-scan.yml'
   pull_request:
-    branches: [main]
+    branches: [main, dev]
     paths:
       - 'backend/**'
       - 'builtin-extensions/**'

.github/workflows/test-system-utils.yml

@@ -9,7 +9,7 @@ on:
       - 'backend/tests/test_utils_system*.py'
       - '.github/workflows/test-system-utils.yml'
   pull_request:
-    branches: [main]
+    branches: [main, dev]
     paths:
       - 'backend/app/utils/system.py'
       - 'backend/app/services/**'