Skip to content

Run CI on pushes and pull requests to main - #46

Merged
externl merged 1 commit into
mainfrom
ci-main-branch
Nov 3, 2026
Merged

externl merged 1 commit into
mainfrom
ci-main-branch

Conversation

@externl

@externl externl commented Nov 2, 2026

Copy link
Copy Markdown
Member

CI never runs: ci.yml triggers on master, but the default branch is main.

  • Trigger the push and pull_request events on main

@externl externl added bug github_actions Pull requests that update GitHub Actions code labels Nov 2, 2026
Copilot AI balanced review requested due to automatic review settings November 2, 2026 16:44

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Approval recommended

No active review issues are reported for the CI branch-filter update from master to main.

No open issues 🎉

What changed in this PR

Updates CI branch filters to match the default branch, main, so the workflow runs on relevant pushes and pull requests.

Changes:

  • Changes the push branch filter from master to main.
  • Changes the pull_request target branch filter from master to main.
File Description
.github/​workflows/​ci.yml Targets main for push and pull request triggers; preserves manual dispatch.

Review effort: Balanced

@externl
externl requested a review from pepone November 2, 2026 16:48
@externl
externl merged commit 09861aa into main Nov 3, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants