Skip to content

Trigger CI and CodeQL on PRs targeting develop too - #1

Merged
EarMaster merged 1 commit into
mainfrom
chore/ci-trigger-develop
Aug 4, 2026
Merged

EarMaster merged 1 commit into
mainfrom
chore/ci-trigger-develop

Conversation

@EarMaster

Copy link
Copy Markdown
Owner

Summary

  • Adds develop alongside main to the pull_request trigger branches in ci.yml and codeql.yml, now that a develop branch exists.

Test plan

  • Confirm CI/CodeQL run on a PR opened against develop

Now that a develop branch exists, PRs into it should get the same
build/test/lint/CodeQL coverage as PRs into main.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@EarMaster
EarMaster merged commit 7cea504 into main Aug 4, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant