added pip install for mike

This commit is contained in:
Gulliver 2024-03-10 12:32:57 +01:00 committed by gittiver
parent 106aeb0f0d
commit da570e1cbd
1 changed files with 1 additions and 1 deletions

View File

@ -18,7 +18,7 @@ jobs:
- name: Prepare dependencies
run: sudo apt-get update && sudo apt-get -yq install libasio-dev doxygen mkdocs graphviz zlib1g-dev gcc clang make cmake python3 python3-pip git openssl libssl-dev
- name: prepate pip dependencies
run: pip3 install mkdocs-material mkdocs-redirects pyyaml mkdocs-meta-descriptions-plugin --no-input
run: pip3 install mkdocs-material mkdocs-redirects pyyaml mkdocs-meta-descriptions-plugin mike --no-input
- name: configure
run: cmake -B build -DCROW_AMALGAMATE=ON
- name: clean generated docs dir