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
Merged

chore: add merge_group trigger to run ci on the merge queue#6445
bradzacher merged 1 commit intomainfrom
add-merge-queue-ci-config

Commits

Commits on Feb 10, 2023