docs.yml

#name: Publish docs
#on:
#  push:
#    branches:
#      - main
#permissions:
#  contents: write
#jobs:
#  deploy:
#    runs-on: ubuntu-latest
#    steps:
#      - uses: actions/checkout@v4
#      - name: Configure Git Credentials
#        run: |
#          git config user.name github-actions[bot]
#          git config user.email 41898282+github-actions[bot]@users.noreply.github.com
#      - uses: actions/setup-python@v5
#        with:
#          python-version: 3.x
#      - uses: actions/setup-java@v3
#        with:
#          distribution: 'corretto'
#          java-version: '17'
#      - name: Prepare demo app
#        run: bash scripts/update_demo.sh
#      - run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
#      - uses: actions/cache@v4
#        with:
#          key: mkdocs-material-${{ env.cache_id }}
#          path: .cache
#          restore-keys: |
#            mkdocs-material-
#      - run: pip install mkdocs-material
#      - run: pip install "mkdocs-material[imaging]"
#      - run: mkdocs gh-deploy --force