Bump Serilog from 4.0.1 to 4.0.2 in /src #653

	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/[email protected]
	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

Provide feedback