Skip to content

chore(deps): update dependency dev/tox to ~=4.10.0 #139

chore(deps): update dependency dev/tox to ~=4.10.0

chore(deps): update dependency dev/tox to ~=4.10.0 #139

Workflow file for this run

---
name: docs
on:
push:
branches:
- main
tags:
- v*
jobs:
docs:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
with:
fetch-depth: 0
- uses: pdm-project/setup-pdm@main
with:
python-version: "3.10"
- run: pdm install --prod --group docs --no-self --no-default
- run: |
git config --global user.name "$(git --no-pager log --format=format:'%an' -n 1)"
git config --global user.email "$(git --no-pager log --format=format:'%ae' -n 1)"
git fetch origin gh-pages:gh-pages
- run: echo "TAG=${GITHUB_REF#refs/*/}" >> $GITHUB_ENV
- run: pdm run mike deploy --push --rebase ${TAG:-latest}