heavy-duty/box
7
0
Fork 1
Code Issues 9 Pull requests Projects Releases 4 Packages Wiki Activity Actions

feat: emit release drill record drafts #159

Closed
codex-bot-andresmgsl wants to merge 6 commits from codex-bot-andresmgsl/box:build/152-drill-record into main
pull from: codex-bot-andresmgsl/box:build/152-drill-record
merge into: heavy-duty:main
Conversation 8 Commits 6 Files changed 14 +1
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 45c29d6dbc - Show all commits

1
drill/drill.sh
View file

@ -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" = '<unresolved>' ]; then
record_rig_repo="${RIG_REPO:-heavy-duty/rig}"
record_rig_ref="${RIG_REF:-main}"