From 7b8d0ea0b3489d8be39c22e3ae3f67b11d3603b8 Mon Sep 17 00:00:00 2001 From: The many faced demon <154847721+themanyfaceddemon@users.noreply.github.com> Date: Thu, 27 Jun 2024 02:47:08 +0300 Subject: [PATCH] Update auto_cl.py --- Tools/ATD/auto_cl.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Tools/ATD/auto_cl.py b/Tools/ATD/auto_cl.py index 1bb43e27c1..36e37d554e 100644 --- a/Tools/ATD/auto_cl.py +++ b/Tools/ATD/auto_cl.py @@ -161,7 +161,13 @@ def main(): github_token = sys.argv[1] repo = sys.argv[2] - pr_number = int(sys.argv[3]) + pr_number = sys.argv[3] + + if pr_number is None: + logging.error("PR_NUMBER cannot be null") + sys.exit(1) + + pr_number = int(pr_number) pr_data = fetch_pr_data(github_token, repo, pr_number)