diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index c8456f8d..00eb2ea7 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -10,4 +10,12 @@ jobs: run: pip install cpplint - name: Check coding style run: | - cpplint --recursive --quiet --verbose=3 . \ No newline at end of file + cpplint --recursive --quiet --verbose=3 . 2> tmp + - name: Comment PR + uses: thollander/actions-comment-pull-request@master + if: ${{ github.event_name == 'pull_request' }} + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + with: + message: ${{ cat tmp }} + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} \ No newline at end of file diff --git a/lib/wal/eeCPPLINT.cfg b/lib/wal/CPPLINT.cfg similarity index 100% rename from lib/wal/eeCPPLINT.cfg rename to lib/wal/CPPLINT.cfg