Install mike

This commit is contained in:
Victor Zverovich 2024-06-09 16:54:53 -07:00
parent d175db8f5b
commit 1f170d3fe0

View File

@ -25,7 +25,7 @@ jobs:
run: |
sudo apt update
sudo apt install doxygen
pip install mkdocs mkdocs-material mkdocstrings pymdown-extensions
pip install mkdocs mkdocs-material mkdocstrings pymdown-extensions mike
cmake -E make_directory ${{runner.workspace}}/build
- name: Build