From 92edb0d0cd84caec544ab4330dbd5cd8c226cf45 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Fri, 18 Oct 2024 15:34:37 -0700
Subject: [PATCH] chore: Fix build task names and check lake

---
 .github/workflows/docs.yaml | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 1603789..a1024f5 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -23,20 +23,23 @@ jobs:
       with:
         python-version: 3.11
 
-    - name: Install dependencies
-      run: |
-        pip install poetry
-        poetry install --only doc
-
-    - name: install elan
+    - 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
+    - name: Print lean and lake versions
+      run: |
+        lake --version
+
+    - name: Install poetry
+      run: |
+        pip install poetry
+        poetry install --only doc
+
+    - name: Build documentations
       run: |
         poetry run jupyter-book build docs