<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- ci/version.sh	2023-10-26 20:56:56.000000000 +0800
+++ ci/version.sh	2023-10-27 09:59:39.000000000 +0800
@@ -13,6 +13,5 @@
 
 set -ex
 
-version=$(git describe --tags --dirty)
-version="${version:1}"
+version="@VERSION@"
 echo $version &gt; version
</pre></body></html>