Skip to content

Bump actions/cache from 3 to 6 #3438

Bump actions/cache from 3 to 6

Bump actions/cache from 3 to 6 #3438

Triggered via push August 3, 2026 15:48
Status Success
Total duration 35m 35s
Artifacts

windowsci.yml

on: push
Build-And-Test-Windows
19m 36s
Build-And-Test-Windows
Fit to window
Zoom out
Zoom in

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)