Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Run CI actions on pull request instead of on push #3205

Merged
merged 1 commit into from
Nov 15, 2021

Conversation

chvp
Copy link
Member

@chvp chvp commented Nov 15, 2021

This should fix the CI actions not being run for external pull
requests. They are still run on pushes to develop, master and
tags (which should only happen on merges or new releases).

Closes #3190.

This should fix the CI actions not being run for external pull
requests. They are still run on pushes to develop, master and
tags (which should only happen on merges or new releases).
@chvp chvp added the chore Repository/build/dependency maintenance label Nov 15, 2021
@chvp chvp requested a review from a team as a code owner November 15, 2021 08:35
@chvp chvp requested review from bmesuere and niknetniko and removed request for a team November 15, 2021 08:35
Copy link
Member

@bmesuere bmesuere left a comment

Choose a reason for hiding this comment

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

Will this rerun the tests when commits are pushed to an existing PR?

@chvp
Copy link
Member Author

chvp commented Nov 15, 2021

Will this rerun the tests when commits are pushed to an existing PR?

Yes.

@chvp chvp merged commit a979e5c into develop Nov 15, 2021
@chvp chvp deleted the chore/ci-actions-pull-requst branch November 15, 2021 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Repository/build/dependency maintenance
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Run CI actions on (external) pull requests
3 participants