Skip to content

fix(ci): stop docs-dev racing docs-release on tag dispatch - #6630

Merged
Hofer-Julian merged 1 commit into
prefix-dev:mainfrom
Hofer-Julian:fix/docs-race-condition
Jul 20, 2026
Merged

fix(ci): stop docs-dev racing docs-release on tag dispatch#6630
Hofer-Julian merged 1 commit into
prefix-dev:mainfrom
Hofer-Julian:fix/docs-race-condition

Conversation

@Hofer-Julian

Copy link
Copy Markdown
Contributor

release.yml dispatches docs.yml with --ref main, so github.ref is refs/heads/main and the docs-dev guard fired even for version tags. Both jobs then pushed gh-pages concurrently and whichever lost got a rejected ref - that's why v0.72.2 and v0.73.0 never made it to the docs site.

Scope the main branch condition to push events so tag dispatches only run docs-release.

`release.yml` dispatches `docs.yml` with `--ref main`, so `github.ref` is
`refs/heads/main` and the `docs-dev` guard fired even for version tags. Both
jobs then pushed `gh-pages` concurrently and whichever lost got a rejected
ref - that's why v0.72.2 and v0.73.0 never made it to the docs site.

Scope the `main` branch condition to `push` events so tag dispatches only run
`docs-release`.
@Hofer-Julian
Hofer-Julian merged commit 157b13b into prefix-dev:main Jul 20, 2026
30 checks passed
@Hofer-Julian
Hofer-Julian deleted the fix/docs-race-condition branch July 20, 2026 09:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant