Merge pull request #3388 from ethereum/master
Backport `master` to `dev`
This commit is contained in:
commit
53a9324cf0
|
@ -20,5 +20,5 @@ jobs:
|
||||||
with:
|
with:
|
||||||
key: ${{ github.ref }}
|
key: ${{ github.ref }}
|
||||||
path: .cache
|
path: .cache
|
||||||
- run: pip install -e .[docs]
|
- run: pip install mkdocs==1.4.2 mkdocs-material==9.1.5 mdx-truly-sane-lists==1.3 mkdocs-awesome-pages-plugin==2.8.0
|
||||||
- run: mkdocs gh-deploy --force
|
- run: mkdocs gh-deploy --force
|
||||||
|
|
Loading…
Reference in New Issue