continuous_deployment.yml

name: Deploy to GitHub Pages
permissions: write-all

on:
  workflow_dispatch:
  push:
    branches:
      - main

jobs:
  deploy:
    name: deploy current jappuccini documentation to GitHub Pages
    runs-on: ubuntu-latest
    steps:
      - name: checkout repository
        uses: actions/checkout@v4

      - name: setup nodejs
        uses: actions/setup-node@v4
        with:
          node-version: 20
          cache: npm

      - name: install dependencies
        run: npm ci

      - name: check formatting
        run: npm run prettier:check

      - name: build website
        run: npm run build
        env:
          BASE_URL: /java-docs/production

      - name: deploy to GitHub Pages
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir: ./build
          destination_dir: ./production
          user_name: github-actions[bot]
          user_email: 41898282+github-actions[bot]@users.noreply.github.com