aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/infer.yml
diff options
context:
space:
mode:
authorRoman / Nea <roman.graef@gmail.com>2022-06-23 14:10:48 +0200
committerGitHub <noreply@github.com>2022-06-23 14:10:48 +0200
commit564069bcd4124276212fcb41cf4805833ec0fbc9 (patch)
treed4d477ec08e79485f9514f95a59a25686e21fb2a /.github/workflows/infer.yml
parentee317c7f505df72e1ac5970fcbd907fb062b74c8 (diff)
downloadNotEnoughUpdates-564069bcd4124276212fcb41cf4805833ec0fbc9.tar.gz
NotEnoughUpdates-564069bcd4124276212fcb41cf4805833ec0fbc9.tar.bz2
NotEnoughUpdates-564069bcd4124276212fcb41cf4805833ec0fbc9.zip
move infer around (#173)
Diffstat (limited to '.github/workflows/infer.yml')
-rw-r--r--.github/workflows/infer.yml23
1 files changed, 19 insertions, 4 deletions
diff --git a/.github/workflows/infer.yml b/.github/workflows/infer.yml
index f7524223..365e748b 100644
--- a/.github/workflows/infer.yml
+++ b/.github/workflows/infer.yml
@@ -21,14 +21,29 @@ jobs:
- name: Setup Infer
uses: srz-zumix/setup-infer@v1
- name: Run Infer on feature
- run: ./.github/workflows/inferbuild.sh feature
+ run: |
+ echo On commit $(git log --pretty=%s -1)
+ mkdir -p ciwork
+ infer capture -- ./gradlew clean test --no-daemon
+ infer analyze
+ cp infer-out/report.json ciwork/report-feature.json
- uses: actions/checkout@v2
name: Checkout base
with:
ref: ${{ github.event.pull_request.base.sha }}
clean: false
- name: Run Infer on base
- run: ./.github/workflows/inferbuild.sh base
+ run: |
+ echo On commit $(git log --pretty=%s -1)
+ infer capture --reactive -- ./gradlew clean test --no-daemon
+ infer analyze --reactive
- name: Generate report
- run: ./.github/workflows/inferbuild.sh report
-
+ run: |
+ infer reportdiff --report-current ciwork/report-feature.json --report-previous infer-out/report.json
+ jq -r '.[] | select(.severity == "ERROR") | ("::error file="+.file +",line=" +(.line|tostring)+"::" + .qualifier)' <infer-out/differential/introduced.json
+ jq -r '.[] | select(.severity == "WARNING") | ("::warning file="+.file +",line=" +(.line|tostring)+"::" + .qualifier)' <infer-out/differential/introduced.json
+ fixcount=$(jq -r "length" <infer-out/differential/fixed.json)
+ unfixcount=$(jq -r "length" <infer-out/differential/introduced.json)
+ othercount=$(jq -r "length" <infer-out/differential/preexisting.json)
+ echo "This PR fixes $fixcount potential bug(s), introduces $unfixcount potential bug(s). (Total present in feature branch: $((unfixcount + othercount)))" >>$GITHUB_STEP_SUMMARY
+ [[ $unfixcount != 0 ]] && exit 1 || echo ok.