From 69e246494620d68f9e11deed737d3b7c3ef40eb0 Mon Sep 17 00:00:00 2001 From: Whisperity Date: Mon, 6 Dec 2021 10:15:54 +0100 Subject: [PATCH] fix: Make the README entry about diffing better --- README.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 6309c00..98c747c 100644 --- a/README.md +++ b/README.md @@ -208,7 +208,15 @@ runs: id: codechecker with: build-command: "cd ${{ github.workspace }}/Build; cmake --build ." - diff: true + + store: ${{ github.event_name == 'push' }} + store-url: 'http://example.com:8001/MyProject' + store-username: ${{ secrets.CODECHECKER_STORE_USER }} + store-password: ${{ secrets.CODECHECKER_STORE_PASSWORD }} + # Keep the names for 'store' and 'diff' in sync, or auto-generated! + # diff-run-name: "custom run name to store with" + + diff: ${{ github.event_name == 'pull_request' }} diff-url: 'http://example.com:8001/MyProject' diff-username: ${{ secrets.CODECHECKER_DIFF_USER }} diff-password: ${{ secrets.CODECHECKER_DIFF_PASSWORD }}