Skip to content

0.7.0

0.7.0 #9

Workflow file for this run

name: Docs
on:
release:
types: [created]
workflow_call:
workflow_dispatch: # run manually from actions tab
# Set permissions at the job level.
permissions: {}
env:
PYTHONUNBUFFERED: 1
jobs:
docs:
# Disables this workflow from running in a repository that is not part of the indicated organization/user
if: github.repository_owner == 'afuetterer'
runs-on: ubuntu-24.04
permissions:
contents: write
steps:
- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
with:
fetch-depth: 0 # fetch all commits and branches
- name: Set up Python 3.12
uses: actions/setup-python@82c7e631bb3cdc910f68e0081d67478d79c6982d # v5.1.0
with:
python-version: '3.12'
- uses: actions/cache@0c45773b623bea8c8e75f6c82b208c3cf94ea4f9 # v4.0.2
with:
key: docs-${{ hashFiles('pyproject.toml') }}
path: ~/.cache/pip
- name: Install pre-requisites (e.g. hatch)
run: python -m pip install --require-hashes --requirement=requirements/ci
- run: hatch run docs:cli
- run: hatch run docs:build
if: github.event_name == 'pull_request'
- run: |
hatch version
hatch run docs:deploy
if: contains(fromJSON('["release", "workflow_dispatch"]'), github.event_name)
env:
GIT_COMMITTER_NAME: github-actions[bot]
GIT_COMMITTER_EMAIL: 41898282+github-actions[bot]@users.noreply.github.com