chore: some work on CI try 1

leanprover · Jan 4, 2025 · 14316ee · 14316ee
1 parent 535c69d
commit 14316ee
Showing 1 changed file with 5 additions and 9 deletions.
diff --git 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