Skip to content

chore(deps): lock file maintenance #275

chore(deps): lock file maintenance

chore(deps): lock file maintenance #275

Workflow file for this run

---
name: docs
on:
push:
branches:
- main
tags:
- v*
jobs:
docs:
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: pdm-project/setup-pdm@main
with:
python-version: "3.12"
- 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 ${TAG:-latest}