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