From 30b5af3c66b74f4e7283f27a5f6d02c5e23c6aa1 Mon Sep 17 00:00:00 2001
From: Tobias Grosser <tobias@grosser.es>
Date: Sat, 10 Jan 2026 15:55:21 +0000
Subject: [PATCH] feat: force linting of Lean code

---
 .github/workflows/lean_action_ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml
index e984e9a..33a057d 100644
--- a/.github/workflows/lean_action_ci.yml
+++ b/.github/workflows/lean_action_ci.yml
@@ -16,3 +16,4 @@ jobs:
         with:
           build-args: "--iofail"
           test: true
+          lint: true