Update name and email for mike deploy

pull/103/head
JulioV 2020-11-09 13:38:40 -05:00
parent f9ad0c237d
commit 7f1720e2e1
1 changed files with 4 additions and 1 deletions

View File

@ -13,6 +13,9 @@ jobs:
python-version: 3.x
- run: pip install git+https://${GH_TOKEN}@github.com/carissalow/mkdocs-material-insiders.git
- run: pip install mike
- run: mike deploy --push --update-aliases 0.1 latest
- run: |
git config --global user.name 'GH Actions'
git config --global user.email 'ghactions@moshi.com'
mike deploy --push --update-aliases 0.1 latest
env:
GH_TOKEN: ${{ secrets.GH_TOKEN }}