force push

IDinsight · Aug 6, 2024 · 83335cb · 83335cb
1 parent 2afedfc
commit 83335cb
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -30,5 +30,8 @@ jobs:
       - run: |
           git config user.name github-actions-runner
           git config user.email [email protected]
-          mike deploy --ignore-remote-status --push --update-aliases ${{ github.ref_name }} latest
+          mike deploy \
+            --ignore-remote-status \
+            --update-aliases ${{ github.ref_name }} latest
+          git push --force origin gh-pages
           mike set-default --push latest