Flipper
/
Flipper-IRDB
mirror of https://github.com/RogueMaster/Flipper-IRDB.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update pr-lint.yaml

main
Daniel 2023-02-25 18:11:37 +01:00 committed by GitHub
parent b806f02d42
commit bfbdb80d0e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/pr-lint.yaml vendored
View File

@ -59,6 +59,6 @@ jobs:
</details> </details>
# - name: Fail Pipeline - name: Fail Pipeline
# if: ${{ steps.run.outputs.stderr }} if: ${{ steps.run.outputs.stderr }}
# run: exit 1 run: exit 1