Skip to content

ci: filter the push trigger to main, like the other three C libraries - #21

Merged
rowan-claude merged 1 commit into
mainfrom
ci/filter-push-trigger
Jul 26, 2026
Merged

ci: filter the push trigger to main, like the other three C libraries#21
rowan-claude merged 1 commit into
mainfrom
ci/filter-push-trigger

Conversation

@rowan-claude

Copy link
Copy Markdown
Contributor

ci.yml used a bare on: push: with no filter, so the full matrix fired on every branch and every tag. A branch push plus its pull request ran the whole thing twice, and every release tag ran it a third time.

netcode, reliable and yojimbo all filter to main. serialize was the odd one out.

Not a correctness problem — just duplicated spend. But CI spend is real money here, and the steady state is meant to be deliberate rather than accidental.

Safe to drop the tag runs: release-check.yml already handles tags explicitly with tags: [ 'v*' ], so tag coverage does not depend on ci.yml's unfiltered trigger. Checked before changing it, not after.

workflow_dispatch added deliberately: filtering push to main removes the ability to run CI on a feature branch by pushing to it. That capability should be replaced rather than quietly dropped.

ci.yml used a bare `on: push:` with no filter, so the full matrix fired on every
branch AND every tag. A branch push plus its pull request ran the whole thing twice,
and every release tag ran it a third time. netcode, reliable and yojimbo all filter
to main; serialize was the odd one out.

Not a correctness problem, just duplicated spend -- but CI spend is real money here
and the steady state is meant to be deliberate rather than accidental.

SAFE TO REMOVE THE TAG RUNS: release-check.yml already handles tags explicitly with
`tags: [ 'v*' ]`, so tag coverage does not depend on ci.yml's unfiltered trigger. I
checked that before changing it rather than after.

workflow_dispatch added deliberately. Filtering push to main removes the ability to
run CI on a feature branch by pushing to it; that capability should be replaced
rather than quietly dropped, and dispatch makes it explicit instead of accidental.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@rowan-claude
rowan-claude merged commit f42b74c into main Jul 26, 2026
13 checks passed
@rowan-claude
rowan-claude deleted the ci/filter-push-trigger branch July 26, 2026 18:03
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