Skip to content

ci: use GitHub token in create_additional_release_tag push - #13966

Merged
whowes merged 1 commit into
mainfrom
whowes/fix_release_tag
Aug 3, 2026
Merged

ci: use GitHub token in create_additional_release_tag push#13966
whowes merged 1 commit into
mainfrom
whowes/fix_release_tag

Commits

Commits on Jul 31, 2026