Skip to content

ci: Trigger pipeline for pull requests - #1318

Open
peanutfun wants to merge 1 commit into
developfrom
github-workflow-for-pr
Open

ci: Trigger pipeline for pull requests#1318
peanutfun wants to merge 1 commit into
developfrom
github-workflow-for-pr

Conversation

@peanutfun

@peanutfun peanutfun commented Sep 7, 2026

Copy link
Copy Markdown
Member

Changes proposed in this PR:

  • Trigger the push pipeline only for pushes to develop, main, and release tags.

This will enable us to run the pipeline on pull requests from forks.

This PR fixes #1314

PR Author Checklist

PR Reviewer Checklist

Trigger the push pipeline only for pushes to `develop`, `main`, and
release tags.
@peanutfun

Copy link
Copy Markdown
Member Author

Tests are failing but the pipeline triggered for this pull request, meaning that the changes seem to work 😊

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