fix: mike doc versioner flags have changed

leg100 · Oct 27, 2023 · 224081c · 224081c
1 parent 899a371
commit 224081c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -103,7 +103,7 @@ jobs:
       - run: |
           git config --global user.email "mike@otf.ninja"
           git config --global user.name "Mike the document version manager"
-          mike deploy ${{ needs.release-please.outputs.tag_name }} latest -u --no-redirect
+          mike deploy ${{ needs.release-please.outputs.tag_name }} latest -u --alias-type=copy
           mike set-default latest -p
   charts:
     # only create otf-charts PR for new releases