Skip to content

pre-commit: PR119884 #674

pre-commit: PR119884

pre-commit: PR119884 #674

Workflow file for this run

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