Issues with the merge... for now

This commit is contained in:
UberGuidoZ 2022-12-19 16:44:41 -08:00 committed by GitHub
parent a806d20afb
commit 703f9e1470
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,55 +0,0 @@
name: "🧐 [Lint] Checking IR files"
on:
pull_request:
paths: '**.ir'
jobs:
lint:
name: "🐛 Looking for issues"
runs-on: ubuntu-latest
steps:
# checkout IRDB
- uses: actions/checkout@v3
with:
fetch-depth: 0
# checkout Linter
- 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"
- 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