Skip to content

Merge pull request #991 from adamralph/update-sdks #120

Merge pull request #991 from adamralph/update-sdks

Merge pull request #991 from adamralph/update-sdks #120

Workflow file for this run

name: infer-sharp
on:
push:
branches: [main, release-*]
pull_request:
permissions: read-all
jobs:
infer-sharp:
runs-on: ubuntu-latest
steps:
- uses: actions/setup-dotnet@v4.0.1
with:
dotnet-version: '8.0.401'
- uses: actions/checkout@v4.1.7
- run: dotnet build
- run: ls -al
- run: pwd
- uses: microsoft/infersharpaction@v1.5
with:
binary-path: './Bullseye'
- run: cat infer-out/report.txt
- uses: actions/upload-artifact@v4.3.4
with:
name: InferSharp reports
path: infer-out/report.*
- uses: github/codeql-action/upload-sarif@v3.23.0
with:
sarif_file: infer-out/report.sarif