Updated ML.GameServer.Runner to net8 #99

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

gsvgit merged 1 commit into PySymGym:mlSearcher from cat923:ML.GS.runner_net8

Feb 2, 2026

+2 −2

Merged

Updated ML.GameServer.Runner to net8 #99

Updated ML.GameServer.Runner to net8

Annotations

12 warnings

No files were found with the provided path: ./VSharp.TestRunner/bin/DebugTailRec/net7.0. No artifacts will be uploaded.

No files were found with the provided path: ./VSharp.Runner/bin/DebugTailRec/net7.0. No artifacts will be uploaded.

VSharp.TestRenderer/CodeRenderer.cs#L152

Dereference of a possibly null reference.

VSharp.CSharpUtils/LayoutUtils.cs#L56

'RuntimeHelpers.OffsetToStringData' is obsolete: 'OffsetToStringData has been deprecated. Use string.GetPinnableReference() instead.'

The target framework 'net7.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Updated ML.GameServer.Runner to net8 #99

Uh oh!

Updated ML.GameServer.Runner to net8 #99

Uh oh!

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...