From 564069bcd4124276212fcb41cf4805833ec0fbc9 Mon Sep 17 00:00:00 2001
From: Roman / Nea <roman.graef@gmail.com>
Date: Thu, 23 Jun 2022 14:10:48 +0200
Subject: move infer around (#173)

---
 .github/workflows/infer.yml | 23 +++++++++++++++++++----
 1 file changed, 19 insertions(+), 4 deletions(-)

(limited to '.github/workflows/infer.yml')

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.
-- 
cgit