Fix build info generation

build_info.json

@@ -1,6 +1,6 @@
 {
-  "version": "v0.4-dev",
-  "branch": "develop/v0.4",
-  "commit": "7a27fb8",
-  "timestamp": "2026-07-07T16:46:32+02:00"
+  "version": "v0.4",
+  "branch": "main",
+  "commit": "fe267b8",
+  "timestamp": "2026-07-27T11:08:47+02:00"
 }

scripts/update_build_info.sh

@@ -3,12 +3,13 @@ set -e
 
 SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
 PROJECT_ROOT="$(cd "$SCRIPT_DIR/.." && pwd)"
+VERSION="${1:-v0.4-dev}"
 
 cd "$PROJECT_ROOT"
 
 cat > build_info.json <<EOF
 {
-  "version": "v0.4-dev",
+  "version": "$VERSION",
   "branch": "$(git branch --show-current)",
   "commit": "$(git rev-parse --short HEAD)",
   "timestamp": "$(date -Iseconds)"