deploy.yaml

name: Deploy documentation
on:
  push:
    branches:
      - main

env:
  JAVA_VERSION: 17


permissions:
  contents: write
jobs:
  build-doc-and-deploy:
    concurrency: ci-${{ github.ref }} # Recommended if you intend to make multiple deployments in quick succession.
    runs-on: ubuntu-latest
    steps:
      - name: Checkout 🛎️
        uses: actions/checkout@v4

      - name: Set up JDK 
        uses: actions/setup-java@v4
        with:
          distribution: temurin
          java-version: ${{ env.JAVA_VERSION }}
          cache: 'maven'

      - name: Build with Maven
        run: mvn -B clean package -DskipTests --file pom.xml

      - name: Build doc
        uses: addnab/docker-run-action@v3
        with:
          image: antora/antora:latest
          options: -v ${{ github.workspace }}:/antora
          run: antora generate antora-playbook.yaml

      - name: Deploy 🚀
        uses: JamesIves/github-pages-deploy-action@v4
        with:
          folder: build/site # The folder the action should deploy.
          branch: gh-pages