mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-30 19:42:00 +00:00
Merge pull request #32009 from ClickHouse/fix_build_on_master
Fix build on master
This commit is contained in:
commit
cd173d40d7
@ -161,7 +161,7 @@ if __name__ == "__main__":
|
|||||||
release_or_pr = pr_info.head_ref
|
release_or_pr = pr_info.head_ref
|
||||||
elif pr_info.number == 0:
|
elif pr_info.number == 0:
|
||||||
# for pushes to master - major version
|
# for pushes to master - major version
|
||||||
release_or_pr = ".".join(version.as_tuple[:2])
|
release_or_pr = ".".join(version.as_tuple()[:2])
|
||||||
else:
|
else:
|
||||||
# PR number for anything else
|
# PR number for anything else
|
||||||
release_or_pr = str(pr_info.number)
|
release_or_pr = str(pr_info.number)
|
||||||
|
Loading…
Reference in New Issue
Block a user