| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566 | ---name: Documentation# yamllint disable-line rule:truthyon:  workflow_dispatch:  push:    branches:      - master  pull_request:    branches:      - masterconcurrency:  group: ${{ github.workflow }}-${{ github.ref_name }}  cancel-in-progress: falsepermissions:  contents: readenv:  PYTHON_VERSION: "3.13"jobs:  release:    name: Release    runs-on: ubuntu-24.04-arm    permissions:      # for JamesIves/github-pages-deploy-action to push      contents: write    steps:      - name: Setup Python        uses: actions/setup-python@v5        with:          python-version: "${{ env.PYTHON_VERSION }}"      - name: Checkout        uses: actions/checkout@v4        with:          persist-credentials: "false"          fetch-depth: "0"      - name: Setup cache Python        uses: actions/cache@v4        with:          key: "python-${{ env.PYTHON_VERSION }}-${{ runner.arch }}-${{ hashFiles('./requirements*.txt') }}"          restore-keys: "python-${{ env.PYTHON_VERSION }}-${{ runner.arch }}-"          path: "./local/"      - name: Setup venv        run: make V=1 install      - name: Build documentation        run: make V=1 docs.clean docs.html      - if: github.ref_name == 'master'        name: Release        uses: JamesIves/github-pages-deploy-action@v4        with:          folder: "dist/docs"          branch: "gh-pages"          commit-message: "[doc] build from commit ${{ github.sha }}"          # Automatically remove deleted files from the deploy branch          clean: "true"          single-commit: "true"
 |