chore: add github pages workflow

Author: Christoph Bühler

.github/workflows/github-pages.yml

@@ -0,0 +1,21 @@
+name: Publish Documentation
+
+on:
+  push:
+    branches: [master]
+
+jobs:
+  build-and-deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: nikeee/[email protected]
+        name: Build Documentation
+        with:
+          args: docs/docfx.json
+      - name: Deploy
+        uses: JamesIves/[email protected]
+        with:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          BRANCH: gh-pages
+          FOLDER: docs/public