From 1f3784d12ca75bf032ed00e694e3d17792785eaa Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Fri, 18 Oct 2024 15:40:52 -0700
Subject: [PATCH] fix: Remove lake version check

---
 .github/workflows/docs.yaml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 4462fe9..b7a78ed 100644
--- 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: |