Skip to content

Run CI once per commit - #23

Merged
clroot merged 1 commit into
mainfrom
ci/dedupe-runs
Nov 9, 2026
Merged

clroot merged 1 commit into
mainfrom
ci/dedupe-runs

Conversation

@clroot

@clroot clroot commented Nov 9, 2026

Copy link
Copy Markdown
Owner

Why

CI ran twice for the same commit: once for the branch push and once for the pull_request event (e.g. #22 runs 81 and 82). Release tags also triggered a third run on a commit main had already tested, and the Publish workflow validates the tag on its own anyway.

Change

  • push now runs only for main. Feature branches are tested through pull_request, tags are no longer tested twice.
  • Add a concurrency group per PR/ref. New pushes to a PR cancel the outdated run; main runs are never cancelled.
  • workflow_dispatch stays, so any branch can still be run by hand.

@clroot
clroot merged commit 823f2d5 into main Nov 9, 2026
3 checks passed
@clroot
clroot deleted the ci/dedupe-runs branch November 9, 2026 07:45
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