manually remove alias dev.

QuEraComputing · Oct 16, 2023 · efedeef · efedeef
1 parent 688c577
commit efedeef
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/deploy_dev.yml b/.github/workflows/deploy_dev.yml
@@ -50,4 +50,4 @@ jobs:
           GOOGLE_ANALYTICS_KEY: ${{ secrets.GOOGLE_ANALYTICS_KEY }}
         run: |
           git fetch origin gh-pages --depth=1
-          pdm run mike deploy --push --update-alias main dev
+          pdm run mike deploy -p main
diff --git a/.github/workflows/deploy_latest.yml b/.github/workflows/deploy_latest.yml
@@ -61,4 +61,4 @@ jobs:
           GOOGLE_ANALYTICS_KEY: ${{ secrets.GOOGLE_ANALYTICS_KEY }}
         run: |
           git fetch origin gh-pages --depth=1
-          pdm run mike deploy --push --update-alias ${RELEASE_TAG_VERSION} latest
+          pdm run mike deploy -up ${RELEASE_TAG_VERSION} latest