Change deployment branch for Javadoc to 'docs/coverage'

Author: zhongkechen

.github/workflows/build.yml

@@ -78,4 +78,4 @@ jobs:
         uses: dev-vince/actions-publish-javadoc@v1.0.1
         with:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          branch: "docs"
+          branch: "docs/coverage"