Skip to content

ci: cut the GitHub Release, and fix the Windows registry rename race - #3

Merged
Vieeeeeee merged 2 commits into
mainfrom
ci/cut-github-release
Aug 27, 2026
Merged

ci: cut the GitHub Release, and fix the Windows registry rename race#3
Vieeeeeee merged 2 commits into
mainfrom
ci/cut-github-release

fix: retry the registry rename Windows refuses under contention

f5a02fd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar