fixup! style checker: Update for CheriBSD

bsdjhb · Mar 20, 2024 · d012a2b · d012a2b
1 parent 6ca5e70
commit d012a2b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/style.yml b/.github/workflows/style.yml
@@ -31,5 +31,4 @@ jobs:
       - name: Run checker
         run: |
           sha=$(git merge-base ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }})
-          tools/build/checkstyle9.pl ${sha}..${{ github.event.pull_request.head.sha }}
-	  true
+          tools/build/checkstyle9.pl ${sha}..${{ github.event.pull_request.head.sha }} || true