Run CI on merge_group
events, to allow for GitHub Merge Queue
#810
Annotations
20 warnings
merge_group
events, to allow for GitHub Merge Queue
#810