From 45c29d6dbc9b2b7d9e8a1c85ba87296b30e07708 Mon Sep 17 00:00:00 2001 From: codex-bot-andresmgsl <4+codex-bot-andresmgsl@users.noreply.github.com> Date: Tue, 18 Aug 2026 07:05:50 +0000 Subject: [PATCH] fix: record installed candidate version --- drill/drill.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/drill/drill.sh b/drill/drill.sh index fd13111..76a6b3d 100755 --- a/drill/drill.sh +++ b/drill/drill.sh @@ -356,6 +356,7 @@ fi export PATH="$HOME/.local/bin:$PATH" KEEP="${KEEP:-0}" +record_version="$(cat "$HOME/.local/share/box/current/VERSION" 2>/dev/null || printf '%s' "$record_version")" if [ -n "$EMIT_RECORD" ] && [ "$record_rig_sha" = '' ]; then record_rig_repo="${RIG_REPO:-heavy-duty/rig}" record_rig_ref="${RIG_REF:-main}"