Check the speed-up the PR claims (build-logic tasks 92 → 18; cold build ~31s → ~15s) and confirm that everyday development scenarios do not regress.
- baseline =
301cfb7a5(the PR's merge-base with master, i.e. master without the PR) →/tmp/pgjdbc-bench/baseline - pr-4143 =
3cfca4f4b→/tmp/pgjdbc-bench/pr
baseline is the merge-base rather than the master tip: the only commits between them are docs/test changes that do not touch build-logic, so this isolates the PR's effect alone.