Skip to content

ci: don't run push workflow for PR branches - #29

Merged
dsherret merged 2 commits into
mainfrom
ci-push-filter
Jul 13, 2026
Merged

ci: don't run push workflow for PR branches#29
dsherret merged 2 commits into
mainfrom
ci-push-filter

Conversation

@dsherret

Copy link
Copy Markdown
Owner

Previously on: [push, pull_request] caused CI to run twice for PRs opened from branches in this repo (once for the push event and once for pull_request).

Now push only triggers for main and tags (tags kept so the JSR publish-on-tag job still runs), while PR branches only trigger pull_request.

@dsherret
dsherret merged commit bee2598 into main Jul 13, 2026
4 checks passed
@dsherret
dsherret deleted the ci-push-filter branch July 13, 2026 16:28
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