Repository navigation

Run the integration suite in a throwaway schema and add CI - #6

Merged

rijnb merged 6 commits into

mainfrom

fix/db-test-schema-ci

Oct 18, 2026

Merged

Run the integration suite in a throwaway schema and add CI#6
rijnb merged 6 commits into
mainfrom
fix/db-test-schema-ci

Commits on Oct 18, 2026
- Run the Postgres integration suite in a throwaway schema
  
  rijnb
  and
  claude
  committed
  85952d6
- Add a typecheck over src and test
  
  rijnb
  and
  claude
  committed
  5ce093a
- Fix the 2 test stubs that fail typecheck:test
  
  rijnb
  and
  claude
  committed
  e13f507
- Add CI running tests against Postgres 16 and typechecking tests
  
  rijnb
  and
  claude
  committed
  a8a1e51
- Cover the backfill's lat IS NULL predicate in the integration suite
  
  rijnb
  and
  claude
  committed
  f6d7c79
- Fix the replay stub in server-logging that fails typecheck:test
  
  rijnb
  and
  claude
  committed
  c46e77b