docs.yml

name: Docs

on:
  pull_request:
    branches: [ "docs" ]
    types: [ closed ]

env:
  DOCS_FOLDER: docs

jobs:
  deploy:
    name: Docs
    runs-on: ubuntu-latest
    permissions:
      id-token: write
      pages: write
    environment:
      name: github-pages
      url: ${{steps.deployment.outputs.page_url}}
    steps:
      - name: Checkout repository
        uses: actions/checkout@v4

      - name: Set up JDK 21
        uses: actions/setup-java@v4.0.0
        with:
          java-version: 21
          distribution: temurin
          cache: maven

      - name: Spectrum submodule package
        run: ./mvnw package -DskipSign -Dmaven.plugin.validation=NONE -ntp -pl spectrum

      - name: Generate JaCoCo Badge
        id: jacoco
        uses: cicirello/jacoco-badge-generator@v2
        with:
          jacoco-csv-file: ${{ env.DOCS_FOLDER }}/jacoco/jacoco.csv
          branches-label: Branches
          badges-directory: ${{ env.DOCS_FOLDER }}/badges
          intervals: 95 87.5 75 67.5 60 0
          fail-if-coverage-less-than: 0.9
          fail-if-branches-less-than: 0.9

      - name: Log coverage percentage
        run: |
          echo "coverage = ${{ steps.jacoco.outputs.coverage }}"
          echo "branches = ${{ steps.jacoco.outputs.branches }}"

      - name: Setup GitHub Pages
        uses: actions/configure-pages@v5

      - name: Build with Jekyll
        uses: actions/jekyll-build-pages@v1
        with:
          source: ${{ env.DOCS_FOLDER }}/
          destination: ./_site

      - name: Upload GitHub Pages Artifact
        uses: actions/upload-pages-artifact@v3

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