Rig: second tree move, no new sign-off

This commit is contained in:
2026-08-29 19:23:58 +04:00
parent 1f07b89c2c
commit 28af84ff1a
+6 -1
View File
@@ -159,8 +159,11 @@ main() {
exit 2 exit 2
fi fi
local to_run=$CHECKS
[ -n "$only" ] && to_run=$only
local name local name
for name in $CHECKS; do for name in $to_run; do
if "check_$name"; then if "check_$name"; then
record "$name" ok record "$name" ok
else else
@@ -208,3 +211,5 @@ main() {
main "$@" main "$@"
# Rig: an operator edit made after phase-1 was signed off. # Rig: an operator edit made after phase-1 was signed off.
# Rig: a second tree move, with no new sign-off.