don't build documentation

.github/workflows/push.yml

@@ -23,6 +23,10 @@ jobs:
     runs-on: ubuntu-latest
     name: Build project
     steps:
+      - name: cleanup
+        run: |
+          find . -name . -o -prune -exec rm -rf -- {} +
+
       - name: Checkout project
         uses: actions/checkout@v2
         with:
@@ -54,8 +58,8 @@ jobs:
             MathlibDoc-
 
 
-      - name: Build documentation
-        run: ~/.elan/bin/lake -Kenv=dev build BonnAnalysis:docs
+      # - name: Build documentation
+      #   run: ~/.elan/bin/lake -Kenv=dev build BonnAnalysis:docs
 
       - name: Install Python
         uses: actions/setup-python@v4
@@ -76,10 +80,10 @@ jobs:
         run: |
           inv all
 
-      - name: Copy documentation to `docs/docs`
-        run: |
-          sudo chown -R runner docs
-          cp -r .lake/build/doc docs/docs
+      # - name: Copy documentation to `docs/docs`
+      #   run: |
+      #     sudo chown -R runner docs
+      #     cp -r .lake/build/doc docs/docs
 
       - name: Bundle dependencies
         uses: ruby/setup-ruby@v1
@@ -100,3 +104,7 @@ jobs:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v1
+
+      #  - name: Make sure the cache works
+      #    run: |
+          #  mv docs/docs .lake/build/doc