add GH pages deploy step

Author: Massimiliano Pippi

.github/workflows/docs.yaml

@@ -56,8 +56,9 @@ jobs:
       - name: Build docs website
         run: mkdocs build -s
 
-      # - name: Deploy
-      #   uses: peaceiris/actions-gh-pages@v3
-      #   with:
-      #     github_token: ${{ secrets.GITHUB_TOKEN }}
-      #     publish_dir: ./docs
+      - name: Deploy
+        if:
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./public