From 63229e3670efe1dc0be536bc1d4f2d404630a7e3 Mon Sep 17 00:00:00 2001
From: Eric Willigers <keiravillekode@gmail.com>
Date: Thu, 8 Jan 2026 13:17:00 +1100
Subject: [PATCH] Support for Lean in `exercism test`

---
 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",
 	},