Skip to content

ci: move gates into merge-bot, drop ff-promote - #7

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

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

Commits

Commits on Sep 30, 2026