ci: don't fetch GitHub issues on merge queue #31792
Merged
Codecov / codecov/project
succeeded
Oct 4, 2024 in 1s
100.00% (+0.00%) compared to 1aba1ef
View this Pull Request on Codecov
100.00% (+0.00%) compared to 1aba1ef
Loading