From 9a5ce2476d4e5a51c572fbd2d873f3c1ee70926e Mon Sep 17 00:00:00 2001
From: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
Date: Tue, 10 Dec 2024 10:16:22 +0000
Subject: [PATCH] Update lint_all.lean

---
 scripts/lint_all.lean | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/lint_all.lean b/scripts/lint_all.lean
index fde2fa0..34e22ef 100644
--- a/scripts/lint_all.lean
+++ b/scripts/lint_all.lean
@@ -23,4 +23,7 @@ def main (_: List String) : IO UInt32 := do
   println! "Doc check ..."
   let docCheck ← IO.Process.output {cmd := "lake", args := #["exe", "no_docs"]}
   println! docCheck.stdout
+  println! "Lean linter ..."
+  let leanCheck ← IO.Process.output {cmd := "lake", args := #["exe", "runLinter", "HepLean"]}
+  println! leanCheck.stdout
   pure 0