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