Skip to content

Bump Sarif.Sdk from 4.3.1 to 4.3.2 in /src #428

Bump Sarif.Sdk from 4.3.1 to 4.3.2 in /src

Bump Sarif.Sdk from 4.3.1 to 4.3.2 in /src #428

name: "Infer#"
on:
push:
branches: [master]
pull_request:
# The branches below must be a subset of the branches above
branches: [master]
jobs:
analyze:
name: Analyze
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v2
with:
# We must fetch at least the immediate parents so that if this is
# a pull request then we can checkout the head.
fetch-depth: 2
# If this run was triggered by a pull request event, then checkout
# the head of the pull request instead of the merge commit.
- run: git checkout HEAD^2
if: ${{ github.event_name == 'pull_request' }}
- name: Build
run: dotnet build src --configuration Release
- name: Run Infer#
uses: microsoft/[email protected]
id: runinfersharp
with:
binary-path: 'src/NVika/bin/Release/net6.0/'
- name: Infer# analysis results
run: echo "${{ steps.runinfersharp.outputs.results }}"