Manual CI #89
Annotations
3 errors and 11 warnings
|
Test AwsCryptographyPrimitives .NET net6.0:
StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L21547
'Func<_ICursor__, _IResult<_ISplit<T>, _ICursorError<R>>>' does not contain a definition for 'DowncastClone' and no accessible extension method 'DowncastClone' accepting a first argument of type 'Func<_ICursor__, _IResult<_ISplit<T>, _ICursorError<R>>>' could be found (are you missing a using directive or an assembly reference?)
|
|
Test AwsCryptographyPrimitives .NET net6.0:
StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L21496
'Func<_ICursor__, _IResult<_ISplit<T>, _ICursorError<R>>>' does not contain a definition for 'DowncastClone' and no accessible extension method 'DowncastClone' accepting a first argument of type 'Func<_ICursor__, _IResult<_ISplit<T>, _ICursorError<R>>>' could be found (are you missing a using directive or an assembly reference?)
|
|
Test AwsCryptographyPrimitives .NET net6.0
Process completed with exit code 2.
|
|
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-dotnet@v3, dafny-lang/[email protected], actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Test AwsCryptographyPrimitives .NET net6.0:
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
Test AwsCryptographyPrimitives .NET net6.0:
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
Test AwsCryptographyPrimitives .NET net6.0:
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Loading