diff --git a/.github/actions/autodoc.bash b/.github/actions/autodoc.bash index 599b0b4abc..1916638c9d 100755 --- a/.github/actions/autodoc.bash +++ b/.github/actions/autodoc.bash @@ -16,5 +16,5 @@ ${GITHUB_WORKSPACE}/docs/doxygen/generate_docs.bash git add -Af "${GITHUB_WORKSPACE}/docs" -git commit -m "Autodoc on $(date)" +git commit -m "Autodoc on $(date)" || echo "No new commits, pushing merge" git push "${REMOTE}"