From 1c017e342ef3e1a0a301ac6ac9ac89848b2b6164 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Fri, 18 Oct 2024 15:38:18 -0700
Subject: [PATCH] fix: Move elan to next step

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

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index b6e6469..6e7f7bd 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -29,10 +29,10 @@ jobs:
         curl -sSfL https://github.com/leanprover/elan/releases/download/v3.1.1/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
         ./elan-init -y --default-toolchain none
         echo "$HOME/.elan/bin" >> "${GITHUB_PATH}"
-        elan toolchain install $(<src/lean-toolchain)
 
     - name: Print lean and lake versions
       run: |
+        elan toolchain install $(<src/lean-toolchain)
         lake --version
 
     - name: Install poetry