Merge branch 'micro5k:main' into main

micro5k · Jan 21, 2025 · 04c114a · 04c114a
2 parents ae60420 + efb6353
commit 04c114a
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/build.sh b/build.sh
@@ -108,7 +108,13 @@ OUT_DIR="${MAIN_DIR:?}/output"
 
 # Set short commit ID
 ZIP_SHORT_COMMIT_ID=''
-if command 1> /dev/null 2>&1 -v 'git'; then ZIP_SHORT_COMMIT_ID="$(git 2> /dev/null rev-parse --short HEAD)" || ZIP_SHORT_COMMIT_ID=''; fi
+if command 1> /dev/null 2>&1 -v 'git'; then
+  if test "${GITHUB_JOB:-false}" != 'false'; then
+    ZIP_SHORT_COMMIT_ID="$(git 2> /dev/null rev-parse --short "${GITHUB_SHA:?}")" || ZIP_SHORT_COMMIT_ID=''
+  else
+    ZIP_SHORT_COMMIT_ID="$(git 2> /dev/null rev-parse --short HEAD)" || ZIP_SHORT_COMMIT_ID=''
+  fi
+fi
 
 if test "${OPENSOURCE_ONLY:?}" != 'false'; then
   if ! is_oss_only_build_enabled; then