From 37ad82099fff7819ef287e7e58ab7383630e1a56 Mon Sep 17 00:00:00 2001
From: Tim <t.williams.im@gmail.com>
Date: Wed, 7 Jan 2026 15:51:11 -0500
Subject: [PATCH] Add Lean test command to test configurations

---
 workspace/test_configurations.go | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/workspace/test_configurations.go b/workspace/test_configurations.go
index 3c989d2c7..85479f30c 100644
--- a/workspace/test_configurations.go
+++ b/workspace/test_configurations.go
@@ -187,6 +187,9 @@ var TestConfigurations = map[string]TestConfiguration{
 		Command:        "./gradlew test",
 		WindowsCommand: "gradlew.bat test",
 	},
+	"lean": {
+		Command: "lake test",
+	},
 	"lfe": {
 		Command: "make test",
 	},