Skip to content

Fix: CI trigger for pull requests #182#183

Open
biisal wants to merge 2 commits into
DietrichGebert:mainfrom
biisal:main
Open

Fix: CI trigger for pull requests #182#183
biisal wants to merge 2 commits into
DietrichGebert:mainfrom
biisal:main

Conversation

@biisal

@biisal biisal commented Jun 19, 2026

Copy link
Copy Markdown

closes #182

This PR updates the workflow configuration to ensure CI runs when a pull request is opened or updated against the main branch.

Testing
Verified that CI is triggered when creating a pull request targeting main.
Tested using a pull request from a forked repository.

@rajpratham1 rajpratham1 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.

Looks good. Adding the pull_request trigger for the main branch ensures the workflow is executed during PR validation as well as on direct pushes, improving CI coverage. No concerns with this change.

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.

Bug: CI is not running on pull requests created from a different branch.

2 participants