Add Infer#

.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: