Bump microsoft/infersharpaction from 1.4 to 1.5 (#9) #70

	name: Infer#

	on:
	push:
	pull_request:
	schedule:
	# To more easily compare CodeQL and Infer# results.
	- cron: '44 2 * * 6'
	# Allows you to run this workflow manually from the Actions tab.
	workflow_dispatch:

	jobs:
	analyze:
	runs-on: ubuntu-latest
	permissions:
	actions: read
	contents: read
	security-events: write
	strategy:
	fail-fast: false

	steps:
	- name: Check out repository
	uses: actions/checkout@v3

	- name: Set up .NET
	uses: actions/setup-dotnet@v3

	- name: Build
	run: dotnet build

	- name: Run Infer#
	uses: microsoft/infersharpaction@v1.5
	id: runinfersharp
	with:
	binary-path: 'bin/Debug/net6.0-windows10.0.17763'

	- name: Upload SARIF output to GitHub Security Center
	uses: github/codeql-action/upload-sarif@v2
	with:
	sarif_file: infer-out/report.sarif

	- name: Infer# analysis results
	run: echo "${{ steps.runinfersharp.outputs.results }}"

	- name: Upload Infer# report as an artifact
	uses: actions/upload-artifact@v3
	with:
	name: report
	path: infer-out/report.txt

Provide feedback