mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-10 09:32:06 +00:00
ci fix
https://github.com/ClickHouse/ClickHouse/actions/runs/7256640256/job/19769624432?pr=58015#step:8:5466 ``` Dec 19 03:09:41 /build/src/IO/AIO.cpp:140:15: error: use of undeclared identifier 'ErrnoException'; did you mean 'DB::ErrnoException'? Dec 19 03:09:41 140 | throw ErrnoException(DB::ErrorCodes::CANNOT_IOSETUP, "io_setup failed"); ```
This commit is contained in:
parent
31f04b66c5
commit
276f040dd0
@ -511,7 +511,14 @@ def _update_gh_statuses(indata: Dict, s3: S3Helper) -> None:
|
||||
def _fetch_commit_tokens(message: str) -> List[str]:
|
||||
pattern = r"#[\w-]+"
|
||||
matches = re.findall(pattern, message)
|
||||
return matches
|
||||
res = [
|
||||
match
|
||||
for match in matches
|
||||
if match == "#no-merge-commit"
|
||||
or match.startswith("#job_")
|
||||
or match.startswith("#job-")
|
||||
]
|
||||
return res
|
||||
|
||||
|
||||
def main() -> int:
|
||||
|
Loading…
Reference in New Issue
Block a user