自动部署

2026-06-05 00:35:02 +08:00 · 2021-11-23 03:45:31 +08:00
parent 43c2c14cb3
commit ad780a00bd
1 changed files with 1 additions and 1 deletions
@@ -77,5 +77,5 @@ jobs:
          git commit -m "API Document generated."
      - name: Push javadocs
        run: |
-          git push origin gh-pages
+          git push origin HEAD:gh-pages --force