Skip to content

update ci

update ci #409

Workflow file for this run

name: ci
on:
push:
branches:
- main
- master
- v1.12
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
with:
fetch-depth: 0
- uses: actions/setup-python@v2
with:
python-version: 3.x
- run: pip install -r docs/requirements.txt
- run: |
git config --global user.name "ci-bot"
git config --global user.email "[email protected]"
git fetch origin gh-pages
mike deploy --push -f -u v1.12.x current stable -t "v1.12.x (current)"
mike set-default stable --push
mike list