Merge pull request #1215 from kapicorp/adds-mike-deployment

Switch to use mike for deploying docs
kapicorp · Aug 31, 2024 · 29e7940 · 29e7940
2 parents 9dec135 + bbeedfa
commit 29e7940
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -36,8 +36,6 @@ jobs:
       - run: mkdocs build
       - name: Deploy docs
         if: github.event_name != 'pull_request' && github.ref_name == github.event.repository.default_branch
-        uses: mhausenblas/mkdocs-deploy-gh-pages@master
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          CONFIG_FILE: ./mkdocs.yml
-          REQUIREMENTS: requirements.docs.txt
+        run: mike deploy --push dev master
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -51,6 +51,7 @@ theme:
 extra:
   version:
     provider: mike
+    alias: true
   consent:
     title: Cookie consent
     description: >-