We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 58b9fe0 commit 1beef2dCopy full SHA for 1beef2d
1 file changed
main.py
@@ -290,12 +290,16 @@ def get_pr_number() -> int:
290
try:
291
with open(event_path, "r") as f:
292
event = json.load(f)
293
- number = event.get("number") or (event.get("pull_request", {}) or {}).get("number")
+ number = event.get("number") or (event.get("pull_request", {}) or {}).get(
294
+ "number"
295
+ )
296
if number:
297
return int(number)
298
except Exception:
299
pass
- raise ValueError("Unable to determine PR number from GITHUB_REF or GITHUB_EVENT_PATH")
300
+ raise ValueError(
301
+ "Unable to determine PR number from GITHUB_REF or GITHUB_EVENT_PATH"
302
303
304
305
def add_pr_comments() -> int:
0 commit comments