blob: 049b9d3bed49a193407760884eeb7979a80da762 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
name: Infer
on:
- pull_request_target
- workflow_dispatch
permissions: {}
jobs:
inferering:
runs-on: ubuntu-latest
if: "!contains(github.event.head_commit.message, '[no infer]')"
steps:
- uses: actions/checkout@v3
name: Checkout feature
with:
ref: ${{ github.event.pull_request.head.sha }}
- name: Set up JDK 17
uses: actions/setup-java@v3
with:
java-version: 17
distribution: temurin
cache: gradle
- name: Setup Infer
uses: srz-zumix/setup-infer@v1
- name: Run Infer on 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@v3
name: Checkout base
with:
ref: ${{ github.event.pull_request.base.sha }}
clean: false
- name: Run Infer on 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: |
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.
|
