aboutsummaryrefslogtreecommitdiffstats
path: root/python/wpt/run.py
diff options
context:
space:
mode:
authorMartin Robinson <mrobinson@igalia.com>2023-07-13 09:45:48 +0200
committerGitHub <noreply@github.com>2023-07-13 07:45:48 +0000
commitd5202a4a98027b443a6cc04b4b977807131efd5a (patch)
tree7540e3a25da27cacd0c8462e4a0a4a7dc8e89ac2 /python/wpt/run.py
parent9eee5171324553e60d784b989af5f16be9100a11 (diff)
downloadservo-d5202a4a98027b443a6cc04b4b977807131efd5a.tar.gz
servo-d5202a4a98027b443a6cc04b4b977807131efd5a.zip
Enable the GitHub merge queue (#29989)
Signed-off-by: Martin Robinson <mrobinson@igalia.com>
Diffstat (limited to 'python/wpt/run.py')
-rw-r--r--python/wpt/run.py14
1 files changed, 11 insertions, 3 deletions
diff --git a/python/wpt/run.py b/python/wpt/run.py
index ae0fde9cb27..2b3cad5d563 100644
--- a/python/wpt/run.py
+++ b/python/wpt/run.py
@@ -223,9 +223,17 @@ class TrackerDashboardFilter():
run_id = github_context['run_id']
build_url = f"{repo_url}/actions/runs/{run_id}"
- commit_title = github_context["event"]["head_commit"]["message"]
- match = re.match(r"^Auto merge of #(\d+)", commit_title)
- pr_url = f"{repo_url}/pull/{match.group(1)}" if match else None
+ commit_title = "<no title>"
+ if "merge_group" in github_context["event"]:
+ commit_title = github_context["event"]["merge_group"]["head_commit"]["message"]
+ if "head_commit" in github_context["event"]:
+ commit_title = github_context["event"]["head_commit"]["message"]
+
+ pr_url = None
+ match = re.match(r"^Auto merge of #(\d+)", commit_title) or \
+ re.match(r"\(#(\d+)\)", commit_title)
+ if match:
+ pr_url = f"{repo_url}/pull/{match.group(1)}" if match else None
return GithubContextInformation(
build_url,