Donkie aae2b4df56 ci: skip the duplicate pull_request run for same-repo branches ...

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.

2026-09-27 08:32:44 +02:00

..

ISSUE_TEMPLATE

Update bug_report.md

2024-05-06 19:30:37 +02:00

media

chore: update sponsors image

2026-09-10 07:42:55 +00:00

sponsorkit

Render a sponsors board in the README

2026-09-01 21:21:20 +02:00

workflows

ci: skip the duplicate pull_request run for same-repo branches

2026-09-27 08:32:44 +02:00

FUNDING.yml

Update FUNDING.yml

2026-08-23 17:19:51 +02:00