CI: avoid duplicate wiki-ci runs on PR branches #126
Labels
No labels
bug
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
pokebedrock/wiki#126
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
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?
Summary
wiki-cicurrently runs on both everypushand everypull_request, so a normal docs PR branch gets two identical CI runs for the same head SHA: one from the branch push and one from the PR event.Evidence
Recent PR heads show duplicated
wiki-ciruns on the same branch/head, for example:glyph/wiki-proactive-20260417-localization-glossary) produced two successfulwiki-ciruns at 23:09Z for the same change.glyph/wiki-proactive-20260417-workflow-ci-gate) produced two successfulwiki-ciruns at 19:05Z for the same change.That duplicates the repo's full
npm ci+npm run ci+npm run audit:prodgate without adding new coverage.Impact
Acceptance Criteria
wiki-cistill runs for all pull requests.wiki-cistill runs on pushes tomain.wiki-cirun for the same head.