pub async fn wait_for_procedure_finish( greptime: &Pool<MySql>, timeout: Duration, procedure_id: String, )
Waits for a procedure to finish within a specified timeout period.