Repository navigation

chore(tests): build the test library from a Lake glob, removing ComplexityTests.lean - #916

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

build/test-library-glob

Oct 25, 2026

Merged

chore(tests): build the test library from a Lake glob, removing ComplexityTests.lean#916
SamuelSchlesinger merged 2 commits into
mainfrom
build/test-library-glob

Commits on Oct 25, 2026
- build(tests): build the test library from a Lake glob, removing ComplexityTests.lean
  
  SamuelSchlesinger
  and
  claude
  committed
  bf2214f
- fix(scripts): support the glob-built test library in quick_check
  
  SamuelSchlesinger
  and
  claude
  committed
  2d7893b