Skip to content

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

fix(scripts): support the glob-built test library in quick_check

2d7893b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 25, 2026 in 3s