mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-21 23:21:59 +00:00
Merge 6d4c26dda5
into 44b4bd38b9
This commit is contained in:
commit
d0cb22398d
@ -286,7 +286,15 @@ def main():
|
||||
retcode = process.wait()
|
||||
if retcode == 0:
|
||||
logging.info("Run successfully")
|
||||
upload_corpus(fuzzers_path)
|
||||
if (
|
||||
pr_info.number == 0
|
||||
and pr_info.base_ref == "master"
|
||||
and pr_info.head_ref == "master"
|
||||
):
|
||||
logging.info("Uploading corpus - running in master")
|
||||
# upload_corpus(fuzzers_path)
|
||||
else:
|
||||
logging.info("Not uploading corpus - running in PR")
|
||||
else:
|
||||
logging.info("Run failed")
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user