From 6420bd4bcc67e34be8924ee1bb8c69d8b02c5af0 Mon Sep 17 00:00:00 2001 From: Riedler Date: Tue, 23 Sep 2025 18:22:46 +0200 Subject: [PATCH] fix: gen docs hopefully --- .github/workflows/gen_docs.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/gen_docs.yaml b/.github/workflows/gen_docs.yaml index c275ad2f..103e8f1b 100644 --- a/.github/workflows/gen_docs.yaml +++ b/.github/workflows/gen_docs.yaml @@ -41,7 +41,7 @@ jobs: run: | git config --local user.email "github-actions[bot]@users.noreply.github.com" git config --local user.name "github-actions[bot]" - git commit -a -m "GitHub Actions - Update Web Service Documentation" + git commit -a -m "GitHub Actions - Update Web Service Documentation" || echo "nothing to commit" - name: Push new documentation to docs repo uses: ad-m/github-push-action@v0.8.0