Fix doc builds by pinning mike version

dbmdz · Mar 5, 2024 · e7248b0 · e7248b0
1 parent 5c1d5c9
commit e7248b0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -53,7 +53,7 @@ jobs:
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          pip install mkdocs singledispatch mkdocs-material mike
+          pip install mkdocs singledispatch mkdocs-material mike==1.1.2
       - name: Deploy documentation with mike
         run: |
           git config user.name mkdocs-mike
@@ -76,7 +76,7 @@ jobs:
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          pip install mkdocs singledispatch mkdocs-material mike
+          pip install mkdocs singledispatch mkdocs-material mike==1.1.2
       - name: Deploy documentation with mike
         run: |
           git config user.name mkdocs-mike