Fix: Fetch tags before determining release version for documentation

buddemat · buddemat · commit 389363f884ff · 2025-12-06T00:19:47.000+01:00
diff --git a/build_docs.sh b/build_docs.sh
@@ -3,6 +3,9 @@
 # Fail on simple errors, so that pipeline / job fails
 set -e
 
+# Fetch all tags to ensure we have the latest release tags
+git fetch --tags
+
 # Define base directory where docs will be generated
 OUTPUT_DIR="docs_output"
 
