fix(ui): push docs to remote gh-pages branch

leg100 · Oct 29, 2023 · 5b3e3f4 · 5b3e3f4
1 parent f4fef03
commit 5b3e3f4
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 --alias-type=copy
+          mike deploy ${{ needs.release-please.outputs.tag_name }} latest -u --alias-type=copy -p
           mike set-default latest -p
   charts:
     # only create otf-charts PR for new releases