deploy-pages.yaml

# 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 11
        uses: actions/setup-java@v1
        with:
          java-version: 11
      - name: Deploy site to Github pages
        run: |
          mvn -B --projects core javadoc:javadoc --file pom.xml -s settings-template.xml
          mvn -B --projects mojo site --file pom.xml -s settings-template.xml
          cp -R core/target/site mojo/target/site/core
      - name: Deploy
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir: ./mojo/target/site