Bump dotnet/sdk from 8.0 to 9.0 - #989

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-dotnet@v1, actions/setup-java@v1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

The type name 'x' only contains lower-cased ascii characters. Such names may become reserved for the language.

The type name 'x' only contains lower-cased ascii characters. Such names may become reserved for the language.

The type name 'x' only contains lower-cased ascii characters. Such names may become reserved for the language.

The type name 'y' only contains lower-cased ascii characters. Such names may become reserved for the language.

The type name 'a' only contains lower-cased ascii characters. Such names may become reserved for the language.

The type name 'x' only contains lower-cased ascii characters. Such names may become reserved for the language.

The type name 'y' only contains lower-cased ascii characters. Such names may become reserved for the language.

The type name 'a' only contains lower-cased ascii characters. Such names may become reserved for the language.

The type name 'ev' only contains lower-cased ascii characters. Such names may become reserved for the language.

The type name 'ev' only contains lower-cased ascii characters. Such names may become reserved for the language.

The using directive for 'NUnit.Framework' appeared previously in this namespace

Parameter 'deliveryTime' has no matching param tag in the XML comment for 'PCheckerLogJsonFormatter.OnDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)

Parameter 'senderId' has no matching param tag in the XML comment for 'PCheckerLogJsonFormatter.OnDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)

Parameter 'deliveryTime' has no matching param tag in the XML comment for 'LogWriter.LogDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)

Parameter 'senderId' has no matching param tag in the XML comment for 'LogWriter.LogDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)

The using directive for 'NUnit.Framework' appeared previously in this namespace

Parameter 'deliveryTime' has no matching param tag in the XML comment for 'PCheckerLogJsonFormatter.OnDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)

Parameter 'senderId' has no matching param tag in the XML comment for 'PCheckerLogJsonFormatter.OnDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)

Parameter 'deliveryTime' has no matching param tag in the XML comment for 'LogWriter.LogDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)