chore: type

This commit is contained in:
Dimitri Herzog 2023-03-07 17:37:57 +01:00
parent e482eb43e9
commit 32fe1ebf66
1 changed files with 1 additions and 1 deletions

View File

@ -17,7 +17,7 @@ jobs:
python-version: 3.x
- name: install tools
- run: pip install mkdocs-material mike
run: pip install mkdocs-material mike
- name: Setup doc deploy
run: |