Skip to content

Commit

Permalink
Upgrading CI script.
Browse files Browse the repository at this point in the history
  • Loading branch information
marco-brandizi committed Oct 23, 2024
1 parent d775c34 commit 816f972
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ci-build/build-after.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ if [[ "$GIT_BRANCH" == 'master' ]]; then
bash ./ci-build/mk-javadocs.sh

echo -e "\n Committing Javadocs\n"
git add docs/javadocs
git add docs/apidocs
git commit -a -m "Updating auto-generated files from CI $CI_SKIP_TAG"

export NEEDS_PUSH=true # instructs build.sh to push the changes above
Expand Down

0 comments on commit 816f972

Please sign in to comment.