fix(net): pin aws-sdk version < 4.x #2412
ShubhamChaturvedi7pull.yml
on: pull_request
getVersion
/
getDafnyVersion
10s
getVerifyVersion
/
getDafnyVerifyVersion
13s
Matrix: pr-ci-codegen / code-generation
Matrix: pr-ci-format / format_projects
Matrix: pr-ci-java-examples / testJava
Matrix: pr-ci-java-test-vectors / testJava
Matrix: pr-ci-java / testJava
Matrix: pr-ci-net-examples / dotNetExamples
Matrix: pr-ci-net-test-vectors / testDotNet
Matrix: pr-ci-net / testDotNet
Matrix: pr-ci-rust / testRust
Matrix: pr-ci-test-vector-verification / verification
Matrix: pr-ci-verification / verification
pr-ci-all-required
2s
Annotations
37 errors and 83 warnings
|
pr-ci-format / format_projects (macos-13)
Process completed with exit code 2.
|
|
pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-22.04)
Process completed with exit code 2.
|
|
pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-22.04)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-22.04)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-22.04)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-22.04)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-22.04)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-22.04)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-java-examples / testJava (8, macos-13)
Process completed with exit code 1.
|
|
pr-ci-rust / testRust (DynamoDbEncryption, macos-13)
Process completed with exit code 2.
|
|
pr-ci-rust / testRust (DynamoDbEncryption, macos-13)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (DynamoDbEncryption, macos-13)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (DynamoDbEncryption, macos-13)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (DynamoDbEncryption, macos-13)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (DynamoDbEncryption, macos-13)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (DynamoDbEncryption, macos-13)
unnecessary parentheses around type
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
unresolved import `dafny_runtime::DynAny`
|
|
pr-ci-all-required
Process completed with exit code 1.
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1576
The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1561
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1484
The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1483
The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1461
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1457
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1372
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1314
The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1311
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L19574
This label has not been referenced
|
|
|
|
|
|
|
|
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04)
The target framework 'net6.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.
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04)
The target framework 'net6.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.
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04)
The target framework 'net6.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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
pr-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
The target framework 'net6.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.
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
The target framework 'net6.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.
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
The target framework 'net6.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.
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
The target framework 'net6.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.
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
The target framework 'net6.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.
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
The target framework 'net6.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.
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
The target framework 'net6.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.
|
|
|
|
|
|
|
|
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
The target framework 'net6.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.
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
The target framework 'net6.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.
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
The target framework 'net6.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.
|
|
pr-ci-codegen / code-generation (TestVectors, 6.0.x, ubuntu-22.04)
Failed to restore v8-gradle|Linux|pr ci-code-generation[7206fa0e0cedb6913d76412c6501ba2d]-0abb8dc688219f5ae880370d864d56cce442be45: Error: Cache service responded with 400
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1576
The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1561
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1484
The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1483
The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1461
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1457
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1372
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1314
The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1311
The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L19574
This label has not been referenced
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
pr-ci-codegen / code-generation (DynamoDbEncryption, 6.0.x, ubuntu-22.04)
Failed to restore v8-gradle|Linux|pr ci-code-generation[a7a5bf8db14f32543239f51f99b1fdf5]-0abb8dc688219f5ae880370d864d56cce442be45: Error: Cache service responded with 400
|
|
pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-22.04)
Failed to restore v8-gradle|Linux|pr ci-testRust[795159b82cac2846154e488c4edbad8e]-0abb8dc688219f5ae880370d864d56cce442be45: Error: Cache service responded with 400
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
Failed to restore v8-gradle|Linux|pr ci-testRust[6c680655a126b152b57aacb5eb872519]-0abb8dc688219f5ae880370d864d56cce442be45: Error: Cache service responded with 400
|
|
pr-ci-rust / testRust (DynamoDbEncryption, macos-13)
Failed to restore v8-gradle|macOS|pr ci-testRust[7cba8ad3265adf31fb0a602ac71ef80e]-0abb8dc688219f5ae880370d864d56cce442be45: Error: Cache service responded with 400
|
|
|
|
|
|
pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04)
The target framework 'net6.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.
|
|
pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04)
The target framework 'net6.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.
|
|
pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04)
The target framework 'net6.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.
|
|
pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04)
The target framework 'net6.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.
|
|
pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04)
The target framework 'net6.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.
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
Failed to restore v8-gradle|macOS|pr ci-testRust[071027feb64b35675e0730c602830e0e]-0abb8dc688219f5ae880370d864d56cce442be45: Error: Cache service responded with 400
|