generate-pages.yml

name: generate-pages

on:
  push:
    paths-ignore:
      - 'docs/**'

jobs:
  convert-to-html:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v2

      - name: Install dependencies
        run: npm ci

      - name: Run conversion script
        run: npm run start

      - name: Set up git
        run: |
          git config --local user.name  ${{ github.actor }}
          git add ./docs

      - name: Check for updated files
        shell: bash
        run: |
          echo 'GIT_STATUS<<EOF' >> $GITHUB_ENV
          git status >> $GITHUB_ENV
          echo 'EOF' >> $GITHUB_ENV

      - name: Commit files
        if: contains(env.GIT_STATUS, 'Changes to be committed')
        run: git commit -m "Autogenerate converted pages"

      - name: Push changes
        if: contains(env.GIT_STATUS, 'Changes to be committed')
        uses: ad-m/github-push-action@master
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          force: true