GitHub workflow to publish documentation

Add a github action to build and deploy documentation to the GriHub pages.

.github/workflows/docs.yaml

@@ -0,0 +1,23 @@
+name: Publish docs via GitHub Pages
+# https://github.com/marketplace/actions/deploy-mkdocs
+on:
+  push:
+    branches:
+      - main
+      - mknorps/documentation-init
+  workflow_dispatch:
+
+jobs:
+  build:
+    name: Deploy docs
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout main
+        uses: actions/checkout@v2
+
+      - name: Deploy docs
+        uses: mhausenblas/mkdocs-deploy-gh-pages@master
+        # Or use mhausenblas/mkdocs-deploy-gh-pages@nomaterial to build without the mkdocs-material theme
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          EXTRA_PACKAGES: build-base