mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-09-20 00:30:49 +00:00
fix
This commit is contained in:
parent
d9af3d61b6
commit
9edb4d779b
@ -391,6 +391,7 @@ th { cursor: pointer; }
|
||||
|
||||
<h1>AST Fuzzer for PR #${PR_TO_TEST} @ ${SHA_TO_TEST}</h1>
|
||||
<p class="links">
|
||||
<a href="runlog.log">runlog.log</a>
|
||||
<a href="fuzzer.log">fuzzer.log</a>
|
||||
<a href="server.log.gz">server.log.gz</a>
|
||||
<a href="main.log">main.log</a>
|
||||
|
@ -115,7 +115,7 @@ if __name__ == "__main__":
|
||||
paths = {
|
||||
"runlog.log": run_log_path,
|
||||
"main.log": os.path.join(workspace_path, "main.log"),
|
||||
"server.log": os.path.join(workspace_path, "server.log"),
|
||||
"server.log.gz": os.path.join(workspace_path, "server.log.gz"),
|
||||
"fuzzer.log": os.path.join(workspace_path, "fuzzer.log"),
|
||||
"report.html": os.path.join(workspace_path, "report.html"),
|
||||
"core.gz": os.path.join(workspace_path, "core.gz"),
|
||||
@ -134,8 +134,8 @@ if __name__ == "__main__":
|
||||
report_url = paths["runlog.log"]
|
||||
if paths["main.log"]:
|
||||
report_url = paths["main.log"]
|
||||
if paths["server.log"]:
|
||||
report_url = paths["server.log"]
|
||||
if paths["server.log.gz"]:
|
||||
report_url = paths["server.log.gz"]
|
||||
if paths["fuzzer.log"]:
|
||||
report_url = paths["fuzzer.log"]
|
||||
if paths["report.html"]:
|
||||
|
Loading…
Reference in New Issue
Block a user