should finally work fine

2026-06-05 10:59:48 +00:00 · 2021-05-23 20:58:56 +02:00
parent d45f7673dc
commit d0304bd482
1 changed files with 1 additions and 4 deletions
@@ -10,10 +10,7 @@ jobs:
        run: pip install cpplint
      - name: Check coding style
        run: |
-          cpplint --recursive --quiet --verbose=3 . 2> tmp
-          cat tmp
-          ls >> tmp
-          echo "CPP_LINT_LOG=$(cat tmp)" >> $GITHUB_ENV
+          cpplint --recursive --quiet --verbose=3 . 2> tmp || (echo "CPP_LINT_LOG=$(cat tmp)" >> $GITHUB_ENV && false)
      - name: Comment PR
        if: ${{ failure() && github.event_name == 'pull_request' }}
        uses: thollander/actions-comment-pull-request@master