Don't fail if there is no javadoc to commit.

This commit is contained in:
Riccardo Balbo 2020-03-30 11:02:44 +02:00 committed by GitHub
parent f505bdeb21
commit 7c01019f0c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -543,10 +543,10 @@ jobs:
git config --global user.name "Github Actions" git config --global user.name "Github Actions"
git config --global user.email "actions@users.noreply.github.com" git config --global user.email "actions@users.noreply.github.com"
git add . git add . || true
git commit -m "$version" git commit -m "$version" || true
branch="gh-pages" branch="gh-pages"
git push origin "$branch" --force git push origin "$branch" --force || true
fi fi