Bump actions/cache from 3 to 6 #3438
windowsci.yml
on: push
Build-And-Test-Windows
19m 36s
Annotations
21 warnings
|
Build-And-Test-Windows
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/setup-dotnet@v1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Build-And-Test-Windows
The type name 'a' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
|
Build-And-Test-Windows
The type name 'a' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
|
Build-And-Test-Windows
The type name 'y' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
|
Build-And-Test-Windows
The type name 'a' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
|
Build-And-Test-Windows
The type name 'x' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
|
Build-And-Test-Windows
The type name 'y' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
|
Build-And-Test-Windows
The type name 'a' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
|
Build-And-Test-Windows
The type name 'x' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
|
Build-And-Test-Windows
The type name 'ev' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
|
Build-And-Test-Windows
The type name 'ev' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
|
Build-And-Test-Windows:
Tst/UnitTests/TypeCheckingUtilsTest.cs#L3
The using directive for 'NUnit.Framework' appeared previously in this namespace
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Logging/PCheckerLogJsonFormatter.cs#L160
Parameter 'deliveryTime' has no matching param tag in the XML comment for 'PCheckerLogJsonFormatter.OnDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Logging/PCheckerLogJsonFormatter.cs#L160
Parameter 'senderId' has no matching param tag in the XML comment for 'PCheckerLogJsonFormatter.OnDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Logging/LogWriter.cs#L148
Parameter 'deliveryTime' has no matching param tag in the XML comment for 'LogWriter.LogDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Logging/LogWriter.cs#L148
Parameter 'senderId' has no matching param tag in the XML comment for 'LogWriter.LogDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)
|
|
Build-And-Test-Windows:
Tst/UnitTests/TypeCheckingUtilsTest.cs#L3
The using directive for 'NUnit.Framework' appeared previously in this namespace
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Logging/PCheckerLogJsonFormatter.cs#L160
Parameter 'deliveryTime' has no matching param tag in the XML comment for 'PCheckerLogJsonFormatter.OnDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Logging/PCheckerLogJsonFormatter.cs#L160
Parameter 'senderId' has no matching param tag in the XML comment for 'PCheckerLogJsonFormatter.OnDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Logging/LogWriter.cs#L148
Parameter 'deliveryTime' has no matching param tag in the XML comment for 'LogWriter.LogDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)
|
|
Build-And-Test-Windows:
Src/PChecker/CheckerCore/Runtime/Logging/LogWriter.cs#L148
Parameter 'senderId' has no matching param tag in the XML comment for 'LogWriter.LogDequeueEvent(StateMachineId, string, Event, StateMachineId, VectorTime)' (but other parameters do)
|