diff --git a/dev-lang/lean/lean-3.33.0.ebuild b/dev-lang/lean/lean-3.33.0.ebuild
index 31967bcd48..7fe835012d 100644
--- a/dev-lang/lean/lean-3.33.0.ebuild
+++ b/dev-lang/lean/lean-3.33.0.ebuild
@@ -41,6 +41,15 @@ src_configure() {
 	cmake_src_configure
 }
 
+src_test() {
+	local myctestargs=(
+		# Disable problematic "style_check" cpplint test,
+		# this also removes python test dependency
+		--exclude-regex style_check
+	)
+	cmake_src_test
+}
+
 pkg_postinst() {
 	elog "You probably want to use lean with mathlib, to install it you can either:"
 	elog " - Do not install mathlib globally and use local versions"
diff --git a/dev-lang/lean/lean-3.34.0.ebuild b/dev-lang/lean/lean-3.34.0.ebuild
index 31967bcd48..7fe835012d 100644
--- a/dev-lang/lean/lean-3.34.0.ebuild
+++ b/dev-lang/lean/lean-3.34.0.ebuild
@@ -41,6 +41,15 @@ src_configure() {
 	cmake_src_configure
 }
 
+src_test() {
+	local myctestargs=(
+		# Disable problematic "style_check" cpplint test,
+		# this also removes python test dependency
+		--exclude-regex style_check
+	)
+	cmake_src_test
+}
+
 pkg_postinst() {
 	elog "You probably want to use lean with mathlib, to install it you can either:"
 	elog " - Do not install mathlib globally and use local versions"