Bump NSubstitute from 5.0.0 to 5.1.0 in /src #429

	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 }}"

Provide feedback