mirror of
https://github.com/Donkie/Spoolman.git
synced 2026-10-22 10:02:17 -05:00
Now that every branch builds on push, opening a PR from one ran the whole workflow twice for the same commit. Concurrency cannot dedupe these: push and pull_request carry different refs, and forcing them into one group only races them, killing whichever run started first. That is the wrong outcome roughly half the time, since publish-images runs on push and not on pull_request, so the branch image would vanish. Guard the three jobs that have no `needs` instead. A skipped dependency skips its dependents, so this cascades to all twelve. Forks are unaffected: a fork's push fires no event in this repo, so its pull_request run is the only one there is.