Skip to content

chore: add merge_group trigger to run ci on the merge queue#6445

Merged
bradzacher merged 1 commit intomainfrom
add-merge-queue-ci-config
Feb 10, 2023

Commits

Commits on Feb 10, 2023