fix: Remove lake version check

lenianiva · Oct 18, 2024 · 1f3784d · 1f3784d
1 parent 1b05419
commit 1f3784d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -32,10 +32,9 @@ jobs:
         ./elan-init -y --default-toolchain none
         echo "$HOME/.elan/bin" >> "${GITHUB_PATH}"
 
-    - name: Print lean and lake versions
+    - name: Install Lean
       run: |
         elan toolchain install $(<src/lean-toolchain)
-        lake --version
 
     - name: Install poetry
       run: |