pre-commit.yml

name: Pre-Commit CI

on:
  pull_request:
    types: [opened, reopened]
    paths:
      - 'scripts/setup_pre_commit_patch.sh'

jobs:
  build:
    runs-on: [self-hosted, precommit]
    permissions:
      pull-requests: write
      contents: write

    steps:
      - uses: actions/checkout@v4
        with:
          ref: ${{github.event.pull_request.head.ref}}
          submodules: false
          fetch-depth: 0

      - name: Set up Git
        run: ${{ github.workspace }}/scripts/setup_git.sh

      - name: Setup patch
        run: ${{ github.workspace }}/scripts/setup_pre_commit_patch.sh

      - name: Update optimized IR
        id: update
        run: |
          ${{ github.workspace }}/scripts/update_optimized.sh
          cat ${{ github.workspace }}/scripts/pr-comment.md
        env:
          GH_RUNNER: ${{ runner.name }}

      - name: Report
        uses: thollander/actions-comment-pull-request@v2
        with:
          filePath: scripts/pr-comment.md