From 3161d679e9f317f6b84aac2ab2de2319f63e02d8 Mon Sep 17 00:00:00 2001 From: jbris Date: Mon, 11 Sep 2023 10:06:24 +1200 Subject: [PATCH] using github-pages-deploy --- .github/workflows/docs.yml | 17 ++++++----------- 1 file changed, 6 insertions(+), 11 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 4c290a3..07d175b 100644 --- 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 \ No newline at end of file