Skip to content

docs: use mike to document all versions #166

docs: use mike to document all versions

docs: use mike to document all versions #166

Workflow file for this run

name: test docs
on:
pull_request:
push:
branches: [main, docs-versioning]
jobs:
build:
name: Deploy docs
runs-on: ubuntu-latest
steps:
- name: Checkout main
uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
- run: pip install hatch
- run: hatch version
- run: hatch version | sed -rne "s:([0-9]*)\.([0-9]*)\..*:INLINE_SNAPSHOT_VERSION=\1.\2:p" >> ${GITHUB_ENV}
- run: |
git config user.name "Frank Hoffmann"
git config user.email "15r10nk@users.noreply.github.com"
git fetch origin gh-pages --depth=1
echo hatch run docs:mike deploy --push development-${INLINE_SNAPSHOT_VERSION}
hatch run docs:mike deploy --push development-${INLINE_SNAPSHOT_VERSION}