fix: veto check matches all-caps '## VETO <reason>', not '## Veto log' header
This commit is contained in:
@ -156,7 +156,8 @@ run_one() { # <variant> <rep>
|
||||
( cd "$run/work-adv" && python -m unittest -q ) >/dev/null 2>&1 && tests=yes
|
||||
local out; out="$( cd "$run/work-adv" && python calc.py '2+3*4' 2>/dev/null )"
|
||||
[ "$out" = "14" ] && cli=yes
|
||||
local veto=no; grep -rqiE '##[[:space:]]*VETO' "$run/work-adv/machine-docs/" 2>/dev/null && veto=yes
|
||||
# standing veto = an all-caps "## VETO <reason>" header; NOT "## Veto log" (a ledger header)
|
||||
local veto=no; grep -rqE '^##[[:space:]]*VETO[[:space:]]' "$run/work-adv/machine-docs/" 2>/dev/null && veto=yes
|
||||
local success=NO
|
||||
[ "$done" = yes ] && [ "$tests" = yes ] && [ "$cli" = yes ] && [ "$veto" = no ] && success=YES
|
||||
|
||||
|
||||
Reference in New Issue
Block a user