using github-pages-deploy

JBris · Sep 10, 2023 · 3161d67 · 3161d67
1 parent 25a0269
commit 3161d67
Showing 1 changed file with 6 additions and 11 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -29,15 +29,10 @@ jobs:
     - name: Generate documentation
       run: |
         bash scripts/create_docs.sh
-    - name: Commit files
-      run: |
-        echo ${{ github.ref }}
-        git add docs
-        git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
-        git config --local user.name "github-actions[bot]"
-        git commit -m "CI: Automated documentation build push [skip ci]" -a | exit 0
-    - name: Push changes
-      if: github.ref == 'refs/heads/main'
-      uses: ad-m/github-push-action@master
+    - name: Deploy to GitHub pages 🚀
+      if: github.event_name != 'pull_request'
+      uses: JamesIves/github-pages-deploy-action@v4.4.1
       with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}
+        clean: false
+        branch: gh-pages
+        folder: docs