fix: Install Lean toolchain

lenianiva · Oct 18, 2024 · 0fef9e2 · 0fef9e2
1 parent 92edb0d
commit 0fef9e2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -29,6 +29,7 @@ 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: |