ci(release-github): restore concurrency block dropped during initial merge to main

The concurrency block was added to release-github.yml in 5f03e96 ("ci: add concurrency groups to CI and the release workflows") on the development branch, but the file was re-added to main in f624daf without the block, so main has been running release-github without serialization per tag. Bring main in line with the production-truth file on development so a second dispatch for the same tag waits instead of racing the first.

Seto Elkahfi committed Oct 13, 2026 at 20:09 UTC 4d82ddacbfead077e87ce2d626920ce93f5d40d4
1 file changed +6
.github/workflows/release-github.yml
+6
@@ -7,6 +7,12 @@ on:
7 description: "Release tag (e.g. v0.2.0)"
8 required: true
9
10 +# One release per tag at a time, and never cancelled: a half-built release
11 +# has to finish or fail on its own. A second dispatch for the same tag waits.
12 +concurrency:
13 + group: release-github-${{ github.event.inputs.tag || github.ref }}
14 + cancel-in-progress: false
15 +
16 permissions:
17 contents: write
18