Fix duplicate CI runs: scope push to main, add concurrency group #1
Loading…
Reference in a new issue
No description provided.
Delete branch "ci/fix-duplicate-triggers"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
An open PR fires both push and pull_request events on every commit,
double-running the same job. push is now scoped to main only
(post-merge); pull_request covers every PR branch.