From e7248b0c76cc463598f5b5486f8b7d38337fc191 Mon Sep 17 00:00:00 2001 From: Johannes Baiter Date: Tue, 5 Mar 2024 09:45:07 +0100 Subject: [PATCH] Fix doc builds by pinning mike version --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 94af444f..63a39e1c 100644 --- 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