Test mike alias #11

rl-institut · Nov 27, 2024 · e6cd8bc · e6cd8bc
1 parent 9029757
commit e6cd8bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -25,4 +25,4 @@ jobs:
           git config --global user.name Documentation
           git config --global user.email [email protected]
       - run: pip install --upgrade -r requirements.txt
-      - run: mike deploy develop --push
+      - run: mike deploy develop --push —update-aliases develop