Fix ci bug - missing mike package

tariromukute · Aug 13, 2024 · e87c9c7 · e87c9c7
1 parent a315196
commit e87c9c7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build_dev.yml b/.github/workflows/build_dev.yml
@@ -31,5 +31,6 @@ jobs:
           pip install plantuml-markdown
           pip install mkdocs-markdownextradata-plugin
           pip install mkdocs-macros-plugin
+          pip install mike
       - name: Build Docs Website
         run: mike deploy --push develop