From 8f304f958c79b48687bca52c2e7d47e262f07f07 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Le=20Bihan?= Date: Sun, 23 May 2021 19:06:26 +0200 Subject: [PATCH] testing something with comments --- .github/workflows/doc.yml | 10 +++++++++- lib/wal/{eeCPPLINT.cfg => CPPLINT.cfg} | 0 2 files changed, 9 insertions(+), 1 deletion(-) rename lib/wal/{eeCPPLINT.cfg => CPPLINT.cfg} (100%) 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