By default the "Skip Duplicate Actions" plugin we’re using in our Github Actions CI setup will never skip a CI run when the workflow that triggers it was manually initiated, even when it is a duplicate CI run. See the results of the Skip Duplicate Actions run here: https://github.com/wmde/wikibase-release-pipeline/actions/runs/14725971248/job/41328579019 (“Do not skip execution because the workflow was triggered with 'workflow_dispatch’”). The primary purpose of skipping duplicate CI runs is to save engineering time waiting on unnecessary test runs to confirm releases, so this one is particularly annoying as the extra CI run is successfully skipped right up until the point when the engineer manually initiates the release, in which case currently they then need to wait 20-30 minutes to confirm the push to DockerHub and such of the release was successful.

Tasks:

Reference documentation for https://github.com/marketplace/actions/skip-duplicate-actions and update our configuration of that plugin to still skip duplicate CI runs even when they are manually initiated.