WIP

.github/workflows/build.yaml

@@ -167,13 +167,21 @@ jobs:
           path: docs.tar
 
   deploy-docs:
+    permissions:
+      contents: write
     runs-on: ubuntu-latest
     needs: [build-docs]
     # if: github.event_name != 'pull_request'
     steps:
       - uses: actions/download-artifact@v3
         with:
           name: docs
+      - name: Unpack tar
+        run: tar -xvf docs.tar
+      - name: Deploy docs
+        uses: JamesIves/github-pages-deploy-action@v4
+        with:
+          folder: site
 
   release:
     name: Release