Skip to content
This repository was archived by the owner on Dec 24, 2025. It is now read-only.

Enhance release workflow to filter publish-relevant changes #21

Enhance release workflow to filter publish-relevant changes

Enhance release workflow to filter publish-relevant changes #21

Workflow file for this run

name: docs
on:
push:
branches:
- main
paths:
- 'LICENSE'
- 'CHANGELOG.md'
- 'docs/**'
- 'mkdocs.yml'
- 'pyproject.toml'
- '.github/workflows/docs.yml'
- 'src/flet_rive/**'
- 'examples/rive_example/src/**'
workflow_dispatch: # Allow manual trigger from the GitHub Actions UI
concurrency:
group: "docs" # Prevent multiple overlapping deploys
cancel-in-progress: false # Allow in-progress deploys to finish
permissions:
contents: write # Required to push to the gh-pages branch
env:
GH_TOKEN: ${{ secrets.GH_TOKEN }} # used by mkdocs for publishing
jobs:
deploy:
name: Deploy Documentation
runs-on: ubuntu-latest
if: github.repository == github.event.repository.full_name # don't run on forks
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Setup uv
uses: astral-sh/setup-uv@v6
- name: Configure Git for mkdocs
run: |
git config user.name github-actions[bot]
git config user.email 41898282+github-actions[bot]@users.noreply.github.com
- name: Deploy to GitHub Pages
run: |
uv run --group docs --group lint mkdocs gh-deploy --force -v