Skip to content

Execution budget + QueryBudgetExceededError for buffering operators - #42

Open
philcunliffe wants to merge 2 commits into
masterfrom
feat/execution-budget
Open

Execution budget + QueryBudgetExceededError for buffering operators#42
philcunliffe wants to merge 2 commits into
masterfrom
feat/execution-budget

Bound COUNT(DISTINCT); make budget emit-contract honest

60106e2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
typecheck
succeeded Jun 30, 2026 in 21s