chore: redisable Lake tests

tydeu · tydeu · commit ca719979bfe7 · 2026-01-31T20:50:04.000Z
diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt
@@ -262,7 +262,7 @@ endforeach(T)
 # online: downloads remote repositories
 file(
   GLOB_RECURSE LEANLAKETESTS
-  "${LEAN_SOURCE_DIR}/../tests/lake/tests/test.sh"
+  #"${LEAN_SOURCE_DIR}/../tests/lake/tests/test.sh"
   "${LEAN_SOURCE_DIR}/../tests/lake/examples/test.sh"
 )
 foreach(T ${LEANLAKETESTS})

Original file line number	Diff line number	Diff line change
`@@ -262,7 +262,7 @@ endforeach(T)`
`262`	`262`	`# online: downloads remote repositories`
`263`	`263`	`file(`
`264`	`264`	`GLOB_RECURSE LEANLAKETESTS`
`265`		`- "${LEAN_SOURCE_DIR}/../tests/lake/tests/test.sh"`
	`265`	`+ #"${LEAN_SOURCE_DIR}/../tests/lake/tests/test.sh"`
`266`	`266`	`"${LEAN_SOURCE_DIR}/../tests/lake/examples/test.sh"`
`267`	`267`	`)`
`268`	`268`	`foreach(T ${LEANLAKETESTS})`