fix #45: Github actions to publish on Pages

.github/workflows/build_and_preview.yml

@@ -0,0 +1,28 @@
+name: Build and deploy PR preview
+
+on:
+  pull_request:
+    types:
+      - opened
+      - reopened
+      - synchronize
+      - closed
+
+concurrency: 
+  group: preview-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  build_and_deploy_preview:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout # Necessary to access local action
+        uses: actions/checkout@v3
+
+      - name: Build docs
+        uses: ./.github/actions/build
+
+      - name: Deploy preview
+        uses: rossjrw/[email protected]
+        with:
+          source-dir: documentation/site

.github/workflows/build_and_publish.yml

@@ -0,0 +1,25 @@
+name: Build and publish docs
+
+on:
+  push:
+    branches: 
+      - master
+
+jobs:
+  build_and_deploy_docs:
+    concurrency: ci-${{ github.ref }}
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout # Necessary to access local action
+        uses: actions/checkout@v3
+
+      - name: Build docs
+        uses: ./.github/actions/build
+
+      - name: Deploy
+        uses: JamesIves/github-pages-deploy-action@v4
+        with:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          branch: gh-pages # default
+          folder: documentation/site
+          clean-exclude: pr-preview/ # don't overwrite previews