From 889ffd937511c229150ce6f2ee7e3aeafaaa9910 Mon Sep 17 00:00:00 2001 From: Andrew Morgan Date: Tue, 21 Oct 2025 14:29:30 +0100 Subject: [PATCH] Have the release script warn if a workflow is queued for >15m --- scripts-dev/release.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/scripts-dev/release.py b/scripts-dev/release.py index 391881797e..1d98820a08 100755 --- a/scripts-dev/release.py +++ b/scripts-dev/release.py @@ -596,6 +596,11 @@ def _wait_for_actions(gh_token: Optional[str]) -> None: if len(resp["workflow_runs"]) == 0: continue + # Warn the user if any workflows are still queued. They might need to fix something. + if any(workflow["status"] == "queued" for workflow in resp["workflow_runs"]): + _notify("Warning: at least one release workflow is still queued...") + continue + if all( workflow["status"] != "in_progress" for workflow in resp["workflow_runs"] ):