ci: add dev branch to CI and dual-approval triggers

PRs targeting dev branch (e.g. gandalf/docs-namespace-cleanup → dev)
were not triggering CI because the workflow on: filters only listed
main. This change adds 'dev' to both push and pull_request branch
filters on CI, and to the pull_request trigger on dual-approval.

Fixes PRI-526.

Co-Authored-By: Paperclip <noreply@paperclip.ing>

.github/workflows/ci.yaml

@@ -2,9 +2,9 @@ name: CI
 
 on:
   push:
-    branches: [main]
+    branches: [main, dev]
   pull_request:
-    branches: [main]
+    branches: [main, dev]
   workflow_call:
   workflow_dispatch:
 

.github/workflows/dual-approval.yaml

@@ -9,7 +9,7 @@ on:
   pull_request_review:
     types: [submitted, dismissed]
   pull_request:
-    branches: [main]
+    branches: [main, dev]
     types: [opened, reopened, synchronize]
 
 jobs: