name: '📚 Docs' on: push: branches: - master paths: - 'docs/**' - 'mkdocs.yml' - 'examples/**/*.cpp' # snippet sources workflow_dispatch: jobs: deploy: runs-on: linux/amd64 container: image: python:3.12-slim steps: - name: Checkout repository uses: actions/checkout@v4 with: fetch-depth: 0 # full history needed for mkdocs gh-deploy - name: Install MkDocs dependencies run: pip install --quiet -r docs/requirements.txt - name: Configure git identity run: | git config user.name "Gitea Actions" git config user.email "actions@gitea.tourolle.paris" - name: Build and deploy to gitea-pages branch env: GH_TOKEN: ${{ github.token }} run: | mkdocs gh-deploy \ --force \ --remote-branch gitea-pages \ --remote-name origin \ --message "docs: deploy from ${{ github.sha }}"