docs: push to dev instead of latest from main
This commit is contained in:
parent
c5bc148a57
commit
ead8a7b5bf
|
|
@ -18,4 +18,4 @@ jobs:
|
||||||
key: ${{ github.ref }}
|
key: ${{ github.ref }}
|
||||||
path: .cache
|
path: .cache
|
||||||
- run: pip install mkdocs-material mike
|
- run: pip install mkdocs-material mike
|
||||||
- run: mike deploy --push latest
|
- run: mike deploy --push dev
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue