Skip to content

fix(ci): serialise the two workflows that push to a PR head branch - #7392

Merged
wenshao merged 1 commit into
mainfrom
ci/pr-head-write-lock
Jul 21, 2026
Merged

fix(ci): serialise the two workflows that push to a PR head branch#7392
wenshao merged 1 commit into
mainfrom
ci/pr-head-write-lock

Commits

Commits on Jul 21, 2026