diff --git a/tests/lake/examples/targets/clean.sh b/tests/lake/tests/targets/clean.sh
similarity index 100%
rename from tests/lake/examples/targets/clean.sh
rename to tests/lake/tests/targets/clean.sh
diff --git a/tests/lake/examples/targets/lakefile.lean b/tests/lake/tests/targets/lakefile.lean
similarity index 100%
rename from tests/lake/examples/targets/lakefile.lean
rename to tests/lake/tests/targets/lakefile.lean
diff --git a/tests/lake/examples/targets/src/Bar.lean b/tests/lake/tests/targets/src/Bar.lean
similarity index 100%
rename from tests/lake/examples/targets/src/Bar.lean
rename to tests/lake/tests/targets/src/Bar.lean
diff --git a/tests/lake/examples/targets/src/Baz.lean b/tests/lake/tests/targets/src/Baz.lean
similarity index 100%
rename from tests/lake/examples/targets/src/Baz.lean
rename to tests/lake/tests/targets/src/Baz.lean
diff --git a/tests/lake/examples/targets/src/Foo.lean b/tests/lake/tests/targets/src/Foo.lean
similarity index 100%
rename from tests/lake/examples/targets/src/Foo.lean
rename to tests/lake/tests/targets/src/Foo.lean
diff --git a/tests/lake/examples/targets/src/Foo/Bar.lean b/tests/lake/tests/targets/src/Foo/Bar.lean
similarity index 100%
rename from tests/lake/examples/targets/src/Foo/Bar.lean
rename to tests/lake/tests/targets/src/Foo/Bar.lean
diff --git a/tests/lake/examples/targets/src/Foo/Baz.lean b/tests/lake/tests/targets/src/Foo/Baz.lean
similarity index 100%
rename from tests/lake/examples/targets/src/Foo/Baz.lean
rename to tests/lake/tests/targets/src/Foo/Baz.lean
diff --git a/tests/lake/examples/targets/src/a.lean b/tests/lake/tests/targets/src/a.lean
similarity index 100%
rename from tests/lake/examples/targets/src/a.lean
rename to tests/lake/tests/targets/src/a.lean
diff --git a/tests/lake/examples/targets/src/b.lean b/tests/lake/tests/targets/src/b.lean
similarity index 100%
rename from tests/lake/examples/targets/src/b.lean
rename to tests/lake/tests/targets/src/b.lean
diff --git a/tests/lake/examples/targets/src/c.lean b/tests/lake/tests/targets/src/c.lean
similarity index 100%
rename from tests/lake/examples/targets/src/c.lean
rename to tests/lake/tests/targets/src/c.lean
diff --git a/tests/lake/examples/targets/test.sh b/tests/lake/tests/targets/test.sh
similarity index 100%
rename from tests/lake/examples/targets/test.sh
rename to tests/lake/tests/targets/test.sh