name: Deploy docs to GitHub Pages on: push: branches: - main jobs: deploy: name: Deploy docs runs-on: ubuntu-latest steps: - name: Checkout uses: actions/checkout@v4 - name: Set up git username and address run: | git config user.name github-actions[bot] git config user.email 41898282+github-actions[bot]@users.noreply.github.com - name: Install Python uses: actions/setup-python@v4 with: python-version: '3.10' - name: Set cache key run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV - name: Handle cache uses: actions/cache@v3 with: key: mkdocs-material-${{ env.cache_id }} path: .cache restore-keys: | mkdocs-material- - name: Install MkDocs dependencies run: pip install -r requirements.docs.txt - name: Deploy to GitHub Pages run: mkdocs gh-deploy --force