Skip to content

style version selector #6

style version selector

style version selector #6

Workflow file for this run

name: publish-version
on:
push:
tags:
- 'v*'
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions/setup-python@v2
with:
python-version: 3.x
- run: python3 -m pip install -r ./pip-requirements.txt
- name: Configure Git user
run: |
git config --local user.email "github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
- run: git fetch origin gh-pages --depth=1
- run: mike deploy ${{ github.ref_name }}
- run: mike set-default --push ${{ github.ref_name }}