CheckValue can produce other value #13

	# This workflow will build a .NET project
	# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-net

	name: Build

	on:
	push:
	branches: [ "main" ]
	pull_request:
	branches: [ "main" ]

	jobs:
	build:
	runs-on: ubuntu-latest

	permissions:
	id-token: write
	contents: read
	checks: write

	steps:
	- uses: actions/checkout@v3
	- name: Setup .NET
	uses: actions/setup-dotnet@v3
	with:
	dotnet-version: 8.0.x
	- name: Restore dependencies
	run: dotnet restore
	- name: Build
	run: dotnet build --no-restore
	- name: Test
	run: dotnet test --no-build --verbosity normal --logger "trx;LogFileName=stage\test-results.trx"
	- name: Test Report
	uses: dorny/test-reporter@v1
	if: always()
	with:
	name: DotNET Tests
	path: "**/test-results.trx"
	reporter: dotnet-trx
	fail-on-error: true

Provide feedback