name: Update helpers
on:
  push:
    paths:
      - 'main/**'
      - 'extra/**'
jobs:
  build_helpers:
    runs_on: ubuntu-latest
    steps:
      - name: Set up Git repository
        uses: actions/checkout@v6
      - name: Sign into gitea registry
        uses: https://github.com/docker/login-action@v3
        with:
          username: ${{ vars.REGISTRY_USER_USERNAME }}
          password: ${{ secrets.REGISTRY_USER_PASSWORD }}
          registry: ${{ vars.REGISTRY_BASE_URL }}
      - name: Run format of main
        uses: actions/latex-format@main
        with:
          workdir: main
      - name: Run format of extra
        uses: actions/latex-format@main
        with:
          workdir: extra
      - name: Run build
        run: ./build.sh
      - name: Upload compiled helpers
        uses: actions/git-auto-commit-action@v7
        with:
          commit_message: "[skip ci] Build helpers on push"
          commit_user_name: Helpers compiler [bot]
          commit_user_email: actions@janishutz.com
          commit_author: Helpers compiler [bot] <actions@janishutz.com>
          push_options: "--force"