metadata.py: update tagging considering github CI builds (#1782)

Ralim · Aug 6, 2023 · 8b90666 · 8b90666
1 parent c03e184
commit 8b90666
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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: