mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-22 15:42:02 +00:00
Do not attempt to get JOB_ID on wrong RUN_ID
This commit is contained in:
parent
5b45360c89
commit
f2004aee72
@ -39,6 +39,8 @@ _GITHUB_JOB_URL = ""
|
||||
def GITHUB_JOB_ID() -> str:
|
||||
global _GITHUB_JOB_ID
|
||||
global _GITHUB_JOB_URL
|
||||
if GITHUB_RUN_ID == "0":
|
||||
_GITHUB_JOB_ID = "0"
|
||||
if _GITHUB_JOB_ID:
|
||||
return _GITHUB_JOB_ID
|
||||
jobs = []
|
||||
|
Loading…
Reference in New Issue
Block a user