name: docs

on:
 push:
 branches:
 - master

env:
 JAVA_VERSION: 17
 PYTHON_VERSION: 3.x
 GRADLE_OPTS: "-Dorg.gradle.jvmargs=-Xmx4g-Dorg.gradle.daemon=false-Dkotlin.incremental=false"

permissions:
 contents: write
 id-token: write
 pages: write

jobs:
 docs:
 environment:
 name: github-pages
 url: ${{ steps.deployment.outputs.page_url }}
 runs-on: ubuntu-latest
 if: github.ref == 'refs/heads/master'

 steps:
 - name: Checkout
 uses: actions/checkout@v4
 with:
 fetch-depth: 0

 - name: Configure JDK
 uses: actions/setup-java@v4
 with:
 distribution: 'zulu'
 java-version: ${{ env.JAVA_VERSION }}

 - name: Install Python
 uses: actions/setup-python@v5
 with:
 python-version: ${{ env.PYTHON_VERSION }}

 - name: Install MkDocs Material
 run: pip install mkdocs-material

 - name: Generate Docs
 run: ./build_docs.sh

 - name: Upload to GitHub Pages
 uses: actions/upload-pages-artifact@v3
 with:
 path: site

 - name: Deploy to GitHub Pages
 id: deployment
 uses: actions/deploy-pages@v4