diff options
Diffstat (limited to 'etc/ci/report_aggregated_expected_results.py')
| -rwxr-xr-x | etc/ci/report_aggregated_expected_results.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/etc/ci/report_aggregated_expected_results.py b/etc/ci/report_aggregated_expected_results.py index f0046456c27..21c2d6b2431 100755 --- a/etc/ci/report_aggregated_expected_results.py +++ b/etc/ci/report_aggregated_expected_results.py @@ -173,6 +173,11 @@ def get_pr_number() -> Optional[str]: if "issue" in github_context["event"]: return str(github_context["event"]["issue"]["number"]) + # If we have an 'number' in the context, this was triggered by "pull_request" or + # "pull_request_target" event. + if "number" in github_context["event"]: + return str(github_context["event"]["number"]) + return None |