Skip to content

Initial Commit

Initial Commit #8

Workflow file for this run

#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