Merge pull request #483 from sakshar2303/fix/use-deploy-key-for-gh-pages

fix: use deploy key instead of token for gh-pages deployment

Author: leandrumartin

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

@@ -43,9 +43,7 @@ jobs:
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v4
         with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
+          deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
           publish_dir: ./javadoc
           destination_dir: javadoc
           keep_files: true
-          user_name: 'github-actions[bot]'
-          user_email: 'github-actions[bot]@users.noreply.github.com'