Skip to content

CI: handle merge_group so enabling a dev merge queue is a safe one-click - #1716

Merged
erikdarlingdata merged 1 commit into
devfrom
feature/ci-merge-group
Jul 26, 2026
Merged

CI: handle merge_group so enabling a dev merge queue is a safe one-click#1716
erikdarlingdata merged 1 commit into
devfrom
feature/ci-merge-group

Commits

Commits on Jul 26, 2026