ci: run full test suite on PRs to develop and on push to develop

The CI workflow only triggered on PRs to main/master, but develop is
now the integration branch that feature and dependabot PRs target — so
the test suite never ran on them. Add develop to the pull_request
branch filter.

Also add a push trigger on develop: pull_request only re-runs when the
PR itself changes, not when the base advances, so two PRs that each pass
against develop independently can break it once both merge. Testing on
push to develop catches that post-merge collision on the actual HEAD.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: cailmdaley

.github/workflows/ci-release.yml

@@ -5,6 +5,10 @@ on:
     branches:
      - main
      - master
+     - develop
+  push:
+    branches:
+     - develop
 
 jobs: