chore: CI should fail on warnings (#257)

* chore: some work on CI try 1

* chore: remove unused script

.github/workflows/build.yml

@@ -8,21 +8,17 @@ on:
 
 jobs:
   build:
-    name: batteries test build
+    name: doc-gen test build
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repo
         uses: actions/checkout@v4
 
       - 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