From ad95665ea2bc53fed6b64414cf4c7b2bbf225f34 Mon Sep 17 00:00:00 2001 From: Chris Henson Date: Wed, 4 Mar 2026 08:14:10 -0500 Subject: [PATCH] ci: disable shake again --- .github/workflows/lean_action_ci.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/lean_action_ci.yml b/.github/workflows/lean_action_ci.yml index ac39c0ab..09d5c599 100644 --- a/.github/workflows/lean_action_ci.yml +++ b/.github/workflows/lean_action_ci.yml @@ -22,10 +22,10 @@ jobs: run: | set -e lake exe mk_all --check --module - - name: "lake shake" - run: | - set -e - lake shake --add-public --keep-implied --keep-prefix Cslib + #- name: "lake shake" + # run: | + # set -e + # lake shake --add-public --keep-implied --keep-prefix Cslib - uses: leanprover-community/lint-style-action@main with: mode: check