localenv: emit setup-local merge warnings - #6191

Merged

rugpanov merged 7 commits into

mainfrom

dbconnect/setup-local-warnings

Aug 10, 2026

Commits on Aug 6, 2026

localenv: emit setup-local merge warnings
rugpanov
committed
2972fc9
localenv: correct ~= expectations in the disjointness table
rugpanov
committed
8b66206

Commits on Aug 7, 2026

localenv: derive merge warnings from the merge itself
rugpanov
committed
b393dc3
Merge branch 'main' into dbconnect/setup-local-warnings
rugpanov
authored
718db6c

Commits on Aug 10, 2026