fix(python/robomp): updated pull request event trigger criteria

- Added the labeled action to the pull_request event, ensuring that workers process pull requests when labels are updated.
2026-06-20 21:38:00 +02:00
parent ce97b4520a
commit 1d35e8624f
2 changed files with 95 additions and 1 deletions
@@ -391,7 +391,7 @@ class WorkerPool:
                    attempts=row.attempts,
                    slot_uid=slot_uid,
                )
-        elif event == "pull_request" and action in ("opened", "reopened", "ready_for_review"):
+        elif event == "pull_request" and action in ("opened", "reopened", "ready_for_review", "labeled"):
            await tasks.review_pr(
                settings=self.settings,
                db=self.db,