aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows/infer.yml
blob: f752422315346d628b8fdddf0921b00d26a0e550 (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
name: Infer

on:
  - pull_request
  - workflow_dispatch
jobs:
  inferering:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v2
        name: Checkout feature
        with:
          ref: ${{ github.event.pull_request.head.sha }}
      - name: Set up JDK 17
        uses: actions/setup-java@v2
        with:
          java-version: 17
          distribution: temurin
          cache: gradle
      - name: Setup Infer
        uses: srz-zumix/setup-infer@v1
      - name: Run Infer on feature
        run: ./.github/workflows/inferbuild.sh feature
      - 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
      - name: Generate report
        run: ./.github/workflows/inferbuild.sh report