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

ci: don't run CI twice for my own pull requests #35

Merged
merged 1 commit into from
Aug 5, 2024
Merged

ci: don't run CI twice for my own pull requests #35

merged 1 commit into from
Aug 5, 2024

Conversation

nico
Copy link
Owner

@nico nico commented Aug 5, 2024

on: [push, pull_request] has the effect that CI runs twice if I push to a feature branch in my repo and then make a pull request – once for the push to the feature branch, and once for the PR.

Instead, only run CI on pushes to the main branch (and on all PRs).

@nico nico force-pushed the ci branch 8 times, most recently from 8230d48 to 72dc27d Compare August 5, 2024 14:42
`on: [push, pull_request]` has the effect that CI runs twice if I push
to a feature branch in my repo and then make a pull request – once for
the push to the feature branch, and once for the PR.

Instead, only run CI on pushes to the main branch (and on all PRs).
@nico nico merged commit 7222ebd into main Aug 5, 2024
3 checks passed
@nico nico deleted the ci branch August 5, 2024 15:33
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