diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d2e7897e..ca823c2b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -33,7 +33,32 @@ jobs: - name: Run dotnet format run: dotnet format --check --verbosity:diagnostic + + analyze_infersharp: + runs-on: ubuntu-20.04 + steps: + - uses: actions/checkout@v2 + - name: Setup .NET Core (global.json) + uses: actions/setup-dotnet@v1 + + - run: dotnet build Meziantou.Framework.Linux.slnf --configuration Release /bl + + - name: Run Infer# + uses: microsoft/infersharpaction@v1.0 + id: runinfersharp + with: + binary-path: 'src' + - name: Infer# analysis results + run: echo "${{ steps.runinfersharp.outputs.results }}" + + - uses: actions/upload-artifact@v2 + with: + name: binlog + if-no-files-found: error + retention-days: 3 + path: '**/*.binlog' + create_nuget: runs-on: windows-2019 steps: