ci: add develop branch coverage + restrict dev-release to develop only

- ci.yml: trigger on both main and develop pushes/PRs
- dev-release.yml: add job-level if to block workflow_dispatch from main;
  dev builds only fire from develop branch

Co-Authored-By: Oz <oz-agent@warp.dev>

Author: tbitcs

.github/workflows/ci.yml

@@ -2,9 +2,9 @@ name: CI
 
 on:
   push:
-    branches: [main]
+    branches: [main, develop]
   pull_request:
-    branches: [main]
+    branches: [main, develop]
 
 concurrency:
   group: ci-${{ github.ref }}

.github/workflows/dev-release.yml

@@ -11,6 +11,8 @@ permissions:
 jobs:
   test:
     runs-on: ubuntu-latest
+    # Only run from the develop branch — blocks accidental workflow_dispatch from main.
+    if: github.ref == 'refs/heads/develop'
     steps:
       - uses: actions/checkout@v6
       - uses: actions/setup-python@v6