github/workflows: use merge_group instead of push events. #18912
+1
−13
Codecov / codecov/project
succeeded
Dec 10, 2024 in 0s
74.18% (+1.50%) compared to eae8d1b
View this Pull Request on Codecov
74.18% (+1.50%) compared to eae8d1b
Loading