deply-pages.yml

# This workflow will build a package using Maven and then publish it to GitHub packages when a release is created
# For more information see: https://github.com/actions/setup-java#apache-maven-with-a-settings-path

name: Deploy Documentation

on: workflow_dispatch
# on:
# push:
#   tags:
#     - 'v*'

jobs:
  docs:
    # disable for now
    # if: ${{ false }}
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v2
        with:
          ref: master
      - name: Set up JDK 17
        uses: actions/setup-java@v1
        with:
          java-version: 17
      - name: Deploy site to Github pages
        run: |
          mvn -B install
          mvn -B -pl processor site -f pom.xml
      - name: Deploy
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir: ./processor/target/site