diff options
| author | Roman / Nea <roman.graef@gmail.com> | 2022-06-16 11:37:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-16 11:37:11 +0200 |
| commit | d36b402fbf7f30757e0169bab81a974ddc7d3e76 (patch) | |
| tree | ceeecb03b4156626d9e6dec7f42f3f4a6b189c18 /.github/workflows/infer.yml | |
| parent | 8ce504940211a3f6c7069c0b84c922687a1754bb (diff) | |
| download | NotEnoughUpdates-d36b402fbf7f30757e0169bab81a974ddc7d3e76.tar.gz NotEnoughUpdates-d36b402fbf7f30757e0169bab81a974ddc7d3e76.tar.bz2 NotEnoughUpdates-d36b402fbf7f30757e0169bab81a974ddc7d3e76.zip | |
Run infer on every PR (#169)
Diffstat (limited to '.github/workflows/infer.yml')
| -rw-r--r-- | .github/workflows/infer.yml | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/.github/workflows/infer.yml b/.github/workflows/infer.yml new file mode 100644 index 00000000..f7524223 --- /dev/null +++ b/.github/workflows/infer.yml @@ -0,0 +1,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 + |