Reintroduce GitHub pages deployment

Author: opcode81

.github/workflows/ci.yaml

@@ -105,3 +105,19 @@ jobs:
             - name: Build Documentation
               run: sh build-docs.sh
 
+            - name: Prepare Pages
+              if: github.ref == 'refs/heads/develop'
+              run: |
+                  mv docs/build/* public/docs
+                  mv htmlcov/* public/coverage
+
+            - name: Deploy Pages
+              if: github.ref == 'refs/heads/develop'
+              uses: JamesIves/github-pages-deploy-action@3.7.1
+              with:
+                  GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+                  BRANCH: gh-pages
+                  FOLDER: public
+                  TARGET_FOLDER: .
+                  CLEAN: true
+                  SINGLE_COMMIT: true