rm redirection

This commit is contained in:
Clément Le Bihan
2021-05-23 20:32:55 +02:00
parent 2fb7bb54ff
commit 98d869058e
+1 -1
View File
@@ -10,7 +10,7 @@ jobs:
run: pip install cpplint
- name: Check coding style
run: |
cpplint --recursive --quiet --verbose=3 . 2> tmp
cpplint --recursive --quiet --verbose=3 .
- name: Comment PR
if: ${{ failure() && github.event_name == 'pull_request' }}
uses: thollander/actions-comment-pull-request@master