From 3661c0e81c3d76f6f48e385620d42f95150e9225 Mon Sep 17 00:00:00 2001 From: Adam Ralph Date: Mon, 15 Jan 2024 16:19:41 +0100 Subject: [PATCH] add InferSharp --- .github/workflows/infer-sharp.yml | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 .github/workflows/infer-sharp.yml diff --git a/.github/workflows/infer-sharp.yml b/.github/workflows/infer-sharp.yml new file mode 100644 index 00000000..726d31c2 --- /dev/null +++ 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/setup-dotnet@v4.0.0 + with: + dotnet-version: '8.0.100' + - uses: actions/checkout@v4.1.1 + - run: dotnet build + - run: ls -al + - run: pwd + - uses: microsoft/infersharpaction@v1.5 + with: + binary-path: './MinVer' + - run: cat infer-out/report.txt + - uses: actions/upload-artifact@v4.1.0 + with: + name: InferSharp reports + path: infer-out/report.* + - uses: github/codeql-action/upload-sarif@v3.23.0 + with: + sarif_file: infer-out/report.sarif