Sigh, actually build everything in our test fixture...

Julian · Julian · commit 7b9ffedd92f9 · 2026-04-12T11:24:08.000-04:00
diff --git a/spec/fixtures/projects/Example/lakefile.toml b/spec/fixtures/projects/Example/lakefile.toml
@@ -7,3 +7,4 @@ path = "foo"
 
 [[lean_lib]]
 name = "Example"
+globs = ["Example", "Example.Squares", "Example.JumpToStdlib", "Example.RestartFile"]

Original file line number	Diff line number	Diff line change
`@@ -7,3 +7,4 @@ path = "foo"`
`7`	`7`
`8`	`8`	`[[lean_lib]]`
`9`	`9`	`name = "Example"`
	`10`	`+globs = ["Example", "Example.Squares", "Example.JumpToStdlib", "Example.RestartFile"]`