Use old mike
This commit is contained in:
1 parent
7719ea17be
commit
5fa790e9fe
1 file changed
+1
-1
@@ -78,7 +78,7 @@ jobs:
|
|||||||
restore-keys: |
|
restore-keys: |
|
||||||
mkdocs-material-
|
mkdocs-material-
|
||||||
- run: sudo apt-get install pngquant
|
- run: sudo apt-get install pngquant
|
||||||
- run: pip install mike
|
- run: pip install mike==1.1.2
|
||||||
- run: pip install git+https://${GH_TOKEN}@github.com/benphelps/mkdocs-material-insiders.git
|
- run: pip install git+https://${GH_TOKEN}@github.com/benphelps/mkdocs-material-insiders.git
|
||||||
- name: Set Git config
|
- name: Set Git config
|
||||||
run: |
|
run: |
|
||||||
|
|||||||
Reference in new issue
Block a user