Skip to content

Add git configuration for commit in github actions. #2

Add git configuration for commit in github actions.

Add git configuration for commit in github actions. #2

Workflow file for this run

name: docs
permissions:
contents: write
on:
push:
tags:
- "v*"
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
- name: recovery tag information
run: git fetch --tags --force
- uses: actions/setup-python@v6
with:
python-version: '3.14'
cache: 'pip'
- name: install dependencies
run: pip install '.[docs]'
- name: configure git
run: |
git config --global user.name "github-actions[bot]"
git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
- name: build docs
run: mike deploy --push ${GITHUB_REF#refs/tags/} latest
- name: set default
run: mike set-default --push latest