From 5379b0abe29912c26abbf7a691f2f9dff299cd7d Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Fri, 18 Oct 2024 15:30:12 -0700
Subject: [PATCH] fix: Install elan in pipeline

---
 .github/workflows/docs.yaml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 70123d0..1603789 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -28,6 +28,13 @@ jobs:
         pip install poetry
         poetry install --only doc
 
+    - name: install elan
+      run: |
+        set -o pipefail
+        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}"
+
     # Build the book
     - name: Build the book
       run: |