From 8b90666f305cd9b434a4d25690da8bea1937186d Mon Sep 17 00:00:00 2001 From: Ivan Zorin Date: Mon, 7 Aug 2023 02:05:04 +0300 Subject: [PATCH] metadata.py: update tagging considering github CI builds (#1782) --- source/metadata.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/source/metadata.py b/source/metadata.py index 9700ed59..72133e5e 100755 --- a/source/metadata.py +++ b/source/metadata.py @@ -35,7 +35,10 @@ def load_json(filename: str): return json.loads(f.read()) def read_git_tag(): - return f"{subprocess.check_output(['git', 'rev-parse', '--short=7', 'HEAD']).strip().decode('ascii').upper()}" + if os.environ.get("GITHUB_CI_PR_SHA", "") != "": + return os.environ["GITHUB_CI_PR_SHA"][:7].upper() + else: + return f"{subprocess.check_output(['git', 'rev-parse', '--short=7', 'HEAD']).strip().decode('ascii').upper()}" def read_version(): with open(HERE / "version.h") as version_file: