Skip to content

dev - #8

Merged
patrick-main-promotion-bot[bot] merged 1 commit into
mainfrom
dev
Sep 30, 2026
Merged

dev#8
patrick-main-promotion-bot[bot] merged 1 commit into
mainfrom
dev

ci: promote via API, no checkout in privileged job

816706d
Select commit
Loading
Failed to load commit list.