From d36b402fbf7f30757e0169bab81a974ddc7d3e76 Mon Sep 17 00:00:00 2001
From: Roman / Nea <roman.graef@gmail.com>
Date: Thu, 16 Jun 2022 11:37:11 +0200
Subject: Run infer on every PR (#169)

---
 .github/workflows/infer.yml | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 .github/workflows/infer.yml

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

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