feat(DDB-Model): update DDB Model #2121

feat(DDB-Model): update DDB Model

feat(DDB-Model): update DDB Model #2121

Summary
Jobs
Run details
- Usage
- Workflow file

Usage Workflow file

Annotations

6 errors and 10 warnings

The job was canceled because "TestVectorsAwsCryptogra_2" failed.

Create Manifests: ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9

'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.DeleteResourcePolicy(_IDeleteResourcePolicyInput)'

Create Manifests: ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9

'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.GetResourcePolicy(_IGetResourcePolicyInput)'

Create Manifests: ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9

'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.PutResourcePolicy(_IPutResourcePolicyInput)'

Create Manifests: ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9

'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.UpdateKinesisStreamingDestination(_IUpdateKinesisStreamingDestinationInput)'

Create Manifests

The operation was canceled.

Create Manifests: StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

Create Manifests: StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

Create Manifests: StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16440

Unreachable code detected

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16454

Unreachable code detected

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16287

Unreachable code detected

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16328

Unreachable code detected

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16921

This label has not been referenced

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16126

Unreachable code detected

Create Manifests: StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16167

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x)

cancelled Sep 10, 2024 in 2m 6s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(DDB-Model): update DDB Model #2121

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-12, net, 6.0.x)