Merge pull request #966 from adamralph/infer-sharp

add InferSharp
adamralph · Jan 15, 2024 · a51ff98 · a51ff98
2 parents be234e5 + 3661c0e
commit a51ff98
Showing 1 changed file with 27 additions and 0 deletions.
diff --git a/.github/workflows/infer-sharp.yml b/.github/workflows/infer-sharp.yml
@@ -0,0 +1,27 @@
+name: infer-sharp
+on:
+  push:
+    branches: [main, release-*]
+  pull_request:
+jobs:
+  infer-sharp:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/[email protected]
+        with:
+          dotnet-version: '8.0.100'
+      - uses: actions/[email protected]
+      - run: dotnet build
+      - run: ls -al
+      - run: pwd
+      - uses: microsoft/[email protected]
+        with:
+          binary-path: './MinVer'
+      - run: cat infer-out/report.txt
+      - uses: actions/[email protected]
+        with:
+          name: InferSharp reports
+          path: infer-out/report.*
+      - uses: github/codeql-action/[email protected]
+        with:
+          sarif_file: infer-out/report.sarif