ci: do not sanitize file names (#824)

This commit is contained in:
Daniel 2024-10-30 23:09:17 +01:00 committed by GitHub
parent 533d771e18
commit 050091bd40
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -26,6 +26,7 @@ jobs:
with: with:
files: "**/*.ir" files: "**/*.ir"
json: true json: true
safe_output: false
write_output_files: true write_output_files: true
- name: Verify the contents of the .github/outputs/all_changed_files.json file - name: Verify the contents of the .github/outputs/all_changed_files.json file
@ -89,4 +90,4 @@ jobs:
- name: Fail Pipeline if Linter Found Issues - name: Fail Pipeline if Linter Found Issues
if: ${{ steps.run-linter.outcome == 'failure' }} if: ${{ steps.run-linter.outcome == 'failure' }}
run: exit 1 run: exit 1