ci: adopt GitHub Merge Queue with tiered CI (#770)#771

Merged

danielmeppiel merged 3 commits intomainfrom

copilot/ci-merge-queue

Apr 19, 2026

Commits on Apr 19, 2026

ci: adopt GitHub Merge Queue with tiered CI

danielmeppiel
and
Copilot
committed
ci: fix merge-queue artifact layout and pin merge_group activity type

danielmeppiel
and
Copilot
committed
ci: enforce ASCII-only in workflow + instruction files

danielmeppiel
and
Copilot
committed