From d9a57f7802ff8ddc3cc13f6c0cc22afdb2bab284 Mon Sep 17 00:00:00 2001 From: Ace Date: Thu, 19 Jun 2025 14:37:43 +0200 Subject: [PATCH] fix failing docs generation on no changes --- .github/workflows/update-docs.yml | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/.github/workflows/update-docs.yml b/.github/workflows/update-docs.yml index 9134ef8..b2f3c8e 100644 --- a/.github/workflows/update-docs.yml +++ b/.github/workflows/update-docs.yml @@ -44,5 +44,10 @@ jobs: git config user.name "github-actions" git config user.email "actions@github.com" git add docs/* - git commit -m "update docs [bot]" - git push + # Check if anything is staged before committing + if git diff --cached --quiet; then + echo "Nothing to commit." + else + git commit -m "update docs [bot]" + git push + fi