Simply using custom github upload and push

Author: zephyrie

.github/workflows/build_docs.yaml

@@ -33,20 +33,16 @@ jobs:
         git config --global user.email "[email protected]"
         git config --global user.name "GitHub Actions"
         git checkout -b dist
-
-        # Remove all existing files except the .gitignore file
-        find . -type f ! -path "./docs/*" ! -path "./.git/*" -exec git rm --cached {} +
-        git checkout HEAD -- .gitignore
-
-        # Copy only the content of the HTML folder to the root of the repository
-        cp -r docs/build/html/. .
-
-        # Remove the docs folder
-        rm -rf docs
-
-        # Add all files in the root directory for commit
-        git add .
-
-        # Commit and push changes
+        git add -f docs/build/html
         git commit -m "Deploy Sphinx documentation to dist branch"
         git push origin dist
+
+    - name: Upload artifact
+      uses: actions/upload-pages-artifact@v3
+      with:
+        # Upload entire repository
+        path: 'docs/build/html'
+        
+    - name: Deploy to GitHub Pages
+      id: deployment
+      uses: actions/deploy-pages@v4