Merge pull request #370 from darmiel/main

ci: check IR files for issues in PRs
This commit is contained in:
Daniel 2022-12-20 20:21:19 +01:00 committed by GitHub
commit acff718385
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

59
.github/workflows/pr-lint.yaml vendored Normal file
View File

@ -0,0 +1,59 @@
name: "🧐 Checking IR Files"
on:
pull_request_target:
paths: '**.ir'
jobs:
lint:
name: "🐛 Looking for issues"
runs-on: ubuntu-latest
steps:
# checkout IRDB
- uses: actions/checkout@v2
with:
ref: ${{ github.event.pull_request.head.sha }}
fetch-depth: 0
# checkout Linter
- name: Clean Script Directory
run: rm -rf fff-ir-lint
- uses: actions/checkout@v3
with:
repository: 'darmiel/fff-ir-lint'
path: fff-ir-lint
# only check files changed in the PR
- name: Get Changed Files
id: changed-files
uses: tj-actions/changed-files@v29.0.7
with:
files: "**/*.ir"
separator: "\n"
sha: ${{ github.event.pull_request.head.sha }}
- name: Save changed file names to file
run: echo '${{ steps.changed-files.outputs.all_changed_files }}' > changed_file_list.txt
- uses: actions/setup-python@v4
with:
python-version: '3.10'
- name: Run Linter if at least 1 IR File Changed
uses: mathiasvr/command-output@v1.1.0
id: run
continue-on-error: true
with:
run: python fff-ir-lint/main.py github2 file:changed_file_list.txt
- uses: ntsd/auto-request-changes-action@v2
name: "Request Changes"
if: ${{ steps.run.outputs.stderr }}
with:
github-token: "${{ secrets.GITHUB_TOKEN }}"
comment-body: |
${{ steps.run.outputs.stdout }}
- name: Fail Pipeline
if: ${{ steps.run.outputs.stderr }}
run: exit 1