This repository was archived by the owner on Nov 2, 2025. It is now read-only.
Bump System.IO.Abstractions from 22.0.14 to 22.0.15 #763
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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@v4 | |
| 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/infersharpaction@v1.5 | |
| id: runinfersharp | |
| with: | |
| binary-path: 'src/NVika/bin/Release/net8.0/' | |
| - name: Upload SARIF output to GitHub Security Center | |
| uses: github/codeql-action/upload-sarif@v3 | |
| with: | |
| sarif_file: infer-out/report.sarif |