Fix docs build and add missing benchmarks page (#1017)
* fix mkdocs theme dependency - mkdocs/mkdocs#201 * add missing benchmarks page
This commit is contained in:
parent
85b9c19871
commit
db68dd3bc1
3 changed files with 5 additions and 4 deletions
|
@ -18,9 +18,7 @@ install:
|
|||
- sudo service docker start
|
||||
- sleep 5
|
||||
- docker version
|
||||
- pip install --user mkdocs
|
||||
- pip install --user pymdown-extensions
|
||||
- pip install --user mkdocs-bootswatch
|
||||
- pip install --user -r requirements.txt
|
||||
before_script:
|
||||
- make validate
|
||||
- make binary
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue