Skip to content

Merge pull request #310 from eggplants/dependabot/github_actions/acti… #37

Merge pull request #310 from eggplants/dependabot/github_actions/acti…

Merge pull request #310 from eggplants/dependabot/github_actions/acti… #37

Workflow file for this run

name: docs
on:
push:
branches:
- master
jobs:
docs:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
- uses: jdx/mise-action@6d1e696aa24c1aa1bcc1adea0212707c71ab78a8 # v3.6.1
- run: uv sync --group docs --locked
- run: mise run docs
- uses: peaceiris/actions-gh-pages@4f9cc6602d3f66b9c108549d475ec49e8ef4d45e # v4.0.0
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs