The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

Process completed with exit code 1.

The job was canceled because "DynamoDbEncryption_6_0__2" failed.

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

The operation was canceled.

The job was canceled because "DynamoDbEncryption_6_0__2" failed.

The operation was canceled.

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, dafny-lang/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected