Merge pull request #457 from oss-slu/445-javadocs-not-being-published

Add username and email to Javadoc publishing workflow

Author: leandrumartin

.github/workflows/javadoc-gh-pages.yml

@@ -52,4 +52,6 @@ jobs:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./javadoc
           destination_dir: javadoc
-          keep_files: true
+          keep_files: true
+          user_name: 'github-actions[bot]'
+          user_email: 'github-actions[bot]@users.noreply.github.com'