notBrad/Flipper-IRDB
1
0
Fork 0
mirror of https://github.com/Lucaslhm/Flipper-IRDB.git synced 2024-12-25 12:57:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #307 from logickworkshop/main

Browse Source 
Automation fixes (thanks darmiel!)
This commit is contained in:
UberGuidoZ 2022-12-20 17:40:41 -08:00 committed by GitHub
commit 510a4aa98b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -52,8 +52,13 @@ jobs:
with: with:
github-token: "${{ secrets.GITHUB_TOKEN }}" github-token: "${{ secrets.GITHUB_TOKEN }}"
comment-body: | comment-body: |
${{ steps.run.outputs.stdout }} <details>
<summary>🐛 Linter Result</summary>
${{ steps.run.outputs.stdout }}
</details>
- name: Fail Pipeline # - name: Fail Pipeline
if: ${{ steps.run.outputs.stderr }} # if: ${{ steps.run.outputs.stderr }}
run: exit 1 # run: exit 1