name: Build helpers
on:
  push
jobs:
  build_docs:
    runs_on: ubuntu-latest
    steps:
      - name: Set up Git repository
        uses: actions/checkout@v6
      - name: Run build
        run: ./build.sh
      - name: Upload compiled helpers
        uses: stefanzweifel/git-auto-commit-action@v7
        with:
          commit_message: "[skip ci] Build helpers on push"
          file_pattern: '*.tex'
          commit_user_name: Helpers compiler [bot]
          commit_user_email: actions@janishutz.com