From 38158bec4d29be94d47c6bafe4f47e32d46f0819 Mon Sep 17 00:00:00 2001
From: Stephan D <sdeshevikh@yandex.ru>
Date: Fri, 14 Nov 2025 15:20:12 +0100
Subject: [PATCH] + version bump

---
 ci/scripts/common/bump_version.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/ci/scripts/common/bump_version.sh b/ci/scripts/common/bump_version.sh
index b9bb3f5..e92261f 100755
--- a/ci/scripts/common/bump_version.sh
+++ b/ci/scripts/common/bump_version.sh
@@ -6,8 +6,13 @@ cd "${REPO_ROOT}"
 
 VERSION_FILE="./version"
 if [ ! -f "${VERSION_FILE}" ]; then
-  echo "[bump-version] version file not found: ${VERSION_FILE}" >&2
-  exit 1
+  if git cat-file -e "HEAD:version" 2>/dev/null; then
+    echo "[bump-version] version file missing in workspace, restoring from HEAD" >&2
+    git checkout -- version
+  else
+    echo "[bump-version] version file not found: ${VERSION_FILE}" >&2
+    exit 1
+  fi
 fi
 
 CURRENT_VERSION="$(cat "${VERSION_FILE}")"