diff --git a/.github/workflows/lean-check.yml b/.github/workflows/lean-check.yml
index 0c7cbea4..6893938a 100644
--- a/.github/workflows/lean-check.yml
+++ b/.github/workflows/lean-check.yml
@@ -7,10 +7,6 @@ jobs:
       - uses: actions/checkout@v4
       - name: Install Lean
         uses: leanprover/lean-action@v1
-      - name: Build default target
-        run: lake build
-      - name: Build formal library
-        run: lake build SilverSightFormal
       - name: Check for non-TODO sorries
         run: |
           SORRY_COUNT=$(grep -rn "^  sorry$\|^  sorry$\|^sorry$" formal/SilverSight/ Core/ || true | wc -l)