From 14316ee942913ae5f20273e9bd1ba07c5a20e0dc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Sat, 4 Jan 2025 23:13:47 +0100
Subject: [PATCH] chore: some work on CI try 1

---
 .github/workflows/build.yml | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 117b1d17..ceb0709c 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -16,13 +16,9 @@ jobs:
 
       - name: install elan and build doc-gen4
         uses: leanprover/lean-action@v1
+        with:
+          build-args: "--wfail"
 
-      - name: Checkout batteries
-        run: |
-          cd ../
-          git clone https://github.com/leanprover-community/batteries
-
-      - name: generate docs
-        run: |
-          cd ../
-          ./doc-gen4/test_docs.sh "batteries" "doc-gen4"
+      - run: |
+         export LEAN_ABORT_ON_PANIC=1
+        lake build DocGen4:docs