ci: save changed file names to file

This commit is contained in:
Daniel 2022-12-18 18:35:49 +01:00 committed by GitHub
parent 464fe71202
commit 5dc1ef3318
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -26,6 +26,10 @@ jobs:
uses: tj-actions/changed-files@v29.0.7 uses: tj-actions/changed-files@v29.0.7
with: with:
files: "**/*.ir" 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 - uses: actions/setup-python@v4
with: with:
@ -36,7 +40,7 @@ jobs:
id: run id: run
continue-on-error: true continue-on-error: true
with: with:
run: python fff-ir-lint/main.py github2 ${{ steps.changed-files.outputs.all_changed_files }} run: python fff-ir-lint/main.py github2 file:changed_file_list.txt
- uses: ntsd/auto-request-changes-action@v2 - uses: ntsd/auto-request-changes-action@v2
name: "❌ Request Changes" name: "❌ Request Changes"