Skip to content

Enable merge_group in CI workflow for merge queues#202

Merged
colindean merged 1 commit intomainfrom merge-queuesNov 1, 2024