Skip to content

ci: run CI on development branch pushes and PRs#122

Open
berlikm wants to merge 1 commit into
OpensourceICTSolutions:developmentfrom
berlikm:fix/ci-branch-filter
Open

ci: run CI on development branch pushes and PRs#122
berlikm wants to merge 1 commit into
OpensourceICTSolutions:developmentfrom
berlikm:fix/ci-branch-filter

Conversation

@berlikm

@berlikm berlikm commented Jul 14, 2026

Copy link
Copy Markdown

Summary

Enables CI to run on pushes to development and PRs targeting development. Currently CI only triggers on develop (upstream default) and main, but this repo's working branch is development.

Changes

  • ci.yml: Added "development" to push.branches and pull_request.branches
  • DEVELOPMENT.md: Updated all develop references to development (7 occurrences)

Note: develop is kept under push.branches for upstream compatibility.

Dependencies

Standalone on development. No dependencies. Merge first to enable CI for all subsequent PRs.

Testing

CI yaml validated. After merge, all open PRs will get CI checks automatically.

Part of #121.

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