force push docs deployments

cioos-siooc · Aug 15, 2023 · 7a240fb · 7a240fb
1 parent fe5f58a
commit 7a240fb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/deploy-docs.yaml b/.github/workflows/deploy-docs.yaml
@@ -32,8 +32,8 @@ jobs:
           git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
       - run: |
           if [[ "${{github.ref_name}}" == "main" ]]; then
-              mike deploy main --push
+              mike deploy main --push --force
           else
-              mike deploy dev --push
+              mike deploy dev --push --force
           fi
           mike set-default dev