docs: Publish docs to the repo's github pages (#264)

Co-authored-by: Christian Kleinbölting <[email protected]>

.github/workflows/publish-docs.yml

@@ -0,0 +1,18 @@
+name: publish docs
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:  
+  publish-docs:
+    name: Publish Docs to Github Pages
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Deploy docs
+        uses: mhausenblas/mkdocs-deploy-gh-pages@master
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          REQUIREMENTS: docs/requirements.txt