Add StrataTypeScriptRunner and StrataTypeScriptASTLoader as default build targets on this branch

andrewmwells-amazon · andrewmwells-amazon · commit 66e551555c6d · 2025-08-29T14:43:07.000-05:00
diff --git a/lakefile.toml b/lakefile.toml
@@ -1,6 +1,6 @@
 name = "Strata"
 version = "0.1.0"
-defaultTargets = ["Strata", "StrataMain", "StrataVerify"]
+defaultTargets = ["Strata", "StrataMain", "StrataVerify", "StrataTypeScriptRunner", "StrataTypeScriptASTLoader"]
 testDriver = "StrataTest"
 
 [[lean_lib]]
