From 9d27fcb165c6dfb42cdb05890b6aedb950f53e2b Mon Sep 17 00:00:00 2001 From: Aster Seker Date: Sun, 14 Sep 2025 06:55:41 +0300 Subject: [PATCH] ci(publish): check docs changes before deploying --- .github/workflows/publish.yaml | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml index 51ffe39..f8c17bb 100644 --- a/.github/workflows/publish.yaml +++ b/.github/workflows/publish.yaml @@ -24,9 +24,18 @@ jobs: sed -i "0,/VERSION_PLACEHOLDER/s//$TAG/" docs/mainpage.dox - name: Generate Documentation uses: mattnotmitt/doxygen-action@edge + - name: Check for documentation changes + id: docs_changed + run: | + if git diff --quiet -- docs/html; then + echo "changed=false" >> "$GITHUB_OUTPUT" + else + echo "changed=true" >> "$GITHUB_OUTPUT" + fi - name: Publish generated content to GitHub Pages - uses: tsunematsu21/actions-publish-gh-pages@v1.0.2 + if: steps.docs_changed.outputs.changed == 'true' + uses: peaceiris/actions-gh-pages@v3 with: - dir: docs/html - branch: gh-pages - token: ${{ secrets.ACCESS_TOKEN }} + github_token: ${{ secrets.ACCESS_TOKEN }} + publish_dir: docs/html + publish_branch: gh-pages