Skip to content

ci: trigger CI on push and PR to develop#1

Merged
foux merged 1 commit intodevelopfrom
fix/ci-trigger-develop
Apr 26, 2026
Merged

ci: trigger CI on push and PR to develop#1
foux merged 1 commit intodevelopfrom
fix/ci-trigger-develop

Conversation

@foux
Copy link
Copy Markdown
Contributor

@foux foux commented Apr 26, 2026

Adds develop to the push/pull_request branches filter in ci.yml. Without this, PRs to develop don't trigger CI, and the new branch protection (which requires lint/test status checks) would block all merges. Aligns with screensteward-docs ADR-0005.

Without develop in the trigger filters, PRs targeting develop wouldn't
run the lint/test workflow, and the new branch protection on develop
(which requires those status checks) would block all merges. Aligns
with the GitFlow migration in screensteward-docs ADR-0005.
@foux foux merged commit 0b87c6f into develop Apr 26, 2026
2 checks passed
@foux foux deleted the fix/ci-trigger-develop branch April 26, 2026 12:04
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