Skip to content

Assert the planner's chosen plan is not far worse than one it declined (#434) - #444

Merged
ChronicallyJD merged 9 commits into
commandprompt:mainfrom
ChronicallyJD:test/434-planner-choice
Aug 7, 2026
Merged

Assert the planner's chosen plan is not far worse than one it declined (#434)#444
ChronicallyJD merged 9 commits into
commandprompt:mainfrom
ChronicallyJD:test/434-planner-choice

Merge remote-tracking branch 'origin/main' into pr444

36020b2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build (PG 19 beta, from source)
succeeded Aug 7, 2026 in 33s