[release-16.0] CI: fix onlineddl_scheduler flakiness (#13754)#13759
Merged
harshit-gangal merged 4 commits intorelease-16.0from Aug 10, 2023
Merged
[release-16.0] CI: fix onlineddl_scheduler flakiness (#13754)#13759harshit-gangal merged 4 commits intorelease-16.0from
harshit-gangal merged 4 commits intorelease-16.0from
![vitess-bot[bot]](https://avatars.githubusercontent.com/in/213825?v=4&size=32){kind=avatar}
