Stop using mkdocs action and just build it manually

.github/workflows/web.yaml

@@ -29,9 +29,18 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v3
-      - name: Deploy docs
+      - uses: actions/setup-python@v4
-        uses: mhausenblas/mkdocs-deploy-gh-pages@master
+        with:
-        env:
+          python-version: '3.9' 
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      - name: Build docs
-          CONFIG_FILE: web/mkdocs.yml
+        run: |
-          REQUIREMENTS: web/requirements.txt
+          cd web
+          pip3 install -r requirements.txt
+          mkdocs build
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v1
+        with:
+          path: 'web/site'
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v1