From 38d226c4875bc64862733b821955709c1765f516 Mon Sep 17 00:00:00 2001 From: tomjholland Date: Wed, 5 Jun 2024 14:26:14 +0100 Subject: [PATCH] Add keep_files command for dev/bench --- .github/workflows/deploy_benchmark.yml | 2 +- .github/workflows/sphinx.yml | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/deploy_benchmark.yml b/.github/workflows/deploy_benchmark.yml index 74e4f54b..d19bb4df 100644 --- a/.github/workflows/deploy_benchmark.yml +++ b/.github/workflows/deploy_benchmark.yml @@ -30,4 +30,4 @@ jobs: # Use personal access token instead of GITHUB_TOKEN due to https://github.community/t/github-action-not-triggering-gh-pages-upon-push/16096 github-token: ${{ secrets.GITHUB_TOKEN }} # Push and deploy GitHub pages branch automatically - auto-push: true + auto-push: true diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml index e4f529db..3097073d 100644 --- a/.github/workflows/sphinx.yml +++ b/.github/workflows/sphinx.yml @@ -42,8 +42,10 @@ jobs: path: docs/build/html/ - name: Deploy - uses: peaceiris/actions-gh-pages@v3 + uses: peaceiris/actions-gh-pages@v4 if: github.ref == 'refs/heads/main' with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: docs/build/html + keep_files: | + dev/bench