feat(Python): DynamoDB Resource/Client shape transforms #1802
lucasmcdonald3pull.yml
on: pull_request
getVersion
/
getDafnyVersion
7s
getVerifyVersion
/
getDafnyVerifyVersion
12s
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
110 warnings
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1567
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#L1490
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#L1489
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#L1467
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#L1463
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#L1376
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#L1317
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#L1314
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#L20839
This label has not been referenced
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-22.04):
DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L20720
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, 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-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, macos-13):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1567
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#L1490
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#L1489
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#L1467
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#L1463
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#L20839
This label has not been referenced
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L20720
This label has not been referenced
|
|
pr-ci-net / testDotNet (DynamoDbEncryption, 6.0.x, macos-13):
DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1376
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#L1317
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#L1314
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):
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 (TestVectors, 6.0.x, ubuntu-22.04)
Failed to restore v8-gradle|Linux|pr ci-code-generation[7206fa0e0cedb6913d76412c6501ba2d]-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CLinux%7Cpr%20ci-code-generation%5B7206fa0e0cedb6913d76412c6501ba2d%5D-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61%2Cv8-gradle%7CLinux%7Cpr%20ci-code-generation%5B7206fa0e0cedb6913d76412c6501ba2d%5D%2Cv8-gradle%7CLinux%7Cpr%20ci-code-generation%2Cv8-gradle%7CLinux&version=eb03f63337b25bd615bd5f2e3e2f06a28f197125b72943445f4e43a1c0565302
|
|
pr-ci-codegen / code-generation (DynamoDbEncryption, 6.0.x, ubuntu-22.04)
Failed to restore v8-gradle|Linux|pr ci-code-generation[a7a5bf8db14f32543239f51f99b1fdf5]-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CLinux%7Cpr%20ci-code-generation%5Ba7a5bf8db14f32543239f51f99b1fdf5%5D-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61%2Cv8-gradle%7CLinux%7Cpr%20ci-code-generation%5Ba7a5bf8db14f32543239f51f99b1fdf5%5D%2Cv8-gradle%7CLinux%7Cpr%20ci-code-generation%2Cv8-gradle%7CLinux&version=eb03f63337b25bd615bd5f2e3e2f06a28f197125b72943445f4e43a1c0565302
|
|
pr-ci-rust / testRust (DynamoDbEncryption, ubuntu-22.04)
Failed to restore v8-gradle|Linux|pr ci-testRust[795159b82cac2846154e488c4edbad8e]-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CLinux%7Cpr%20ci-testRust%5B795159b82cac2846154e488c4edbad8e%5D-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61%2Cv8-gradle%7CLinux%7Cpr%20ci-testRust%5B795159b82cac2846154e488c4edbad8e%5D%2Cv8-gradle%7CLinux%7Cpr%20ci-testRust%2Cv8-gradle%7CLinux&version=eb03f63337b25bd615bd5f2e3e2f06a28f197125b72943445f4e43a1c0565302
|
|
pr-ci-rust / testRust (TestVectors, ubuntu-22.04)
Failed to restore v8-gradle|Linux|pr ci-testRust[6c680655a126b152b57aacb5eb872519]-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CLinux%7Cpr%20ci-testRust%5B6c680655a126b152b57aacb5eb872519%5D-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61%2Cv8-gradle%7CLinux%7Cpr%20ci-testRust%5B6c680655a126b152b57aacb5eb872519%5D%2Cv8-gradle%7CLinux%7Cpr%20ci-testRust%2Cv8-gradle%7CLinux&version=eb03f63337b25bd615bd5f2e3e2f06a28f197125b72943445f4e43a1c0565302
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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-java-test-vectors / testJava (TestVectors, 11, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
pr-ci-java-test-vectors / testJava (TestVectors, 11, macos-13)
Treating docker as a formula. For the cask, use homebrew/cask/docker or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|
|
pr-ci-java-test-vectors / testJava (TestVectors, 11, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
pr-ci-rust / testRust (DynamoDbEncryption, macos-13)
Failed to restore v8-gradle|macOS|pr ci-testRust[7cba8ad3265adf31fb0a602ac71ef80e]-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CmacOS%7Cpr%20ci-testRust%5B7cba8ad3265adf31fb0a602ac71ef80e%5D-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61%2Cv8-gradle%7CmacOS%7Cpr%20ci-testRust%5B7cba8ad3265adf31fb0a602ac71ef80e%5D%2Cv8-gradle%7CmacOS%7Cpr%20ci-testRust%2Cv8-gradle%7CmacOS&version=ebce7290c324ba9d5e6ef4959d2adb3ff4b86f302096a100ef31e0cbd9f10632
|
|
pr-ci-java-test-vectors / testJava (TestVectors, 8, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
pr-ci-java-test-vectors / testJava (TestVectors, 8, macos-13)
Treating docker as a formula. For the cask, use homebrew/cask/docker or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|
|
pr-ci-java-test-vectors / testJava (TestVectors, 8, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
pr-ci-java-test-vectors / testJava (TestVectors, 17, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
pr-ci-java-test-vectors / testJava (TestVectors, 17, macos-13)
Treating docker as a formula. For the cask, use homebrew/cask/docker or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|
|
pr-ci-java-test-vectors / testJava (TestVectors, 17, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
pr-ci-java-test-vectors / testJava (TestVectors, 16, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
pr-ci-java-test-vectors / testJava (TestVectors, 16, macos-13)
Treating docker as a formula. For the cask, use homebrew/cask/docker or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|
|
pr-ci-java-test-vectors / testJava (TestVectors, 16, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
Failed to restore v8-gradle|macOS|pr ci-testRust[071027feb64b35675e0730c602830e0e]-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CmacOS%7Cpr%20ci-testRust%5B071027feb64b35675e0730c602830e0e%5D-4ac3b8af5e43dd5b742cadfc250a197adf5b1b61%2Cv8-gradle%7CmacOS%7Cpr%20ci-testRust%5B071027feb64b35675e0730c602830e0e%5D%2Cv8-gradle%7CmacOS%7Cpr%20ci-testRust%2Cv8-gradle%7CmacOS&version=ebce7290c324ba9d5e6ef4959d2adb3ff4b86f302096a100ef31e0cbd9f10632
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
Treating docker as a formula. For the cask, use homebrew/cask/docker or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|
|
pr-ci-rust / testRust (TestVectors, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
pr-ci-net-test-vectors / testDotNet (TestVectors, 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-test-vectors / testDotNet (TestVectors, 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-test-vectors / testDotNet (TestVectors, 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-test-vectors / testDotNet (TestVectors, 6.0.x, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-13)
Treating docker as a formula. For the cask, use homebrew/cask/docker or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|
|
pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-13)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated
dependents or dependents with broken linkage!
|
|
pr-ci-java-examples / testJava (17, macos-13)
Back off 20.78 seconds before retry.
|
|
pr-ci-java-examples / testJava (17, macos-13)
Failed to download action 'https://api.github.com/internal/immutable-actions/actions/setup-dotnet/download/sha256:f18034c09d4bad9e8cbdaf186f766ac53612c98e20f331c2a1b58b4cb43766a4?x-ghcr-actor-id=503473897&x-ghcr-actor-type=repository&x-ghcr-alg=hmac-sha256&x-ghcr-date=2025-05-29T21:05:10Z&x-ghcr-expires=10m0s&x-ghcr-host=ghcr.io&***
|
|
pr-ci-java-examples / testJava (17, macos-13)
Back off 15.769 seconds before retry.
|
|
pr-ci-java-examples / testJava (17, macos-13)
Failed to download action 'https://api.github.com/internal/immutable-actions/actions/setup-dotnet/download/sha256:f18034c09d4bad9e8cbdaf186f766ac53612c98e20f331c2a1b58b4cb43766a4?x-ghcr-actor-id=503473897&x-ghcr-actor-type=repository&x-ghcr-alg=hmac-sha256&x-ghcr-date=2025-05-29T21:05:10Z&x-ghcr-expires=10m0s&x-ghcr-host=ghcr.io&***
|
|
pr-ci-java-examples / testJava (17, macos-13)
Back off 21.246 seconds before retry.
|
|
pr-ci-java-examples / testJava (17, macos-13)
Failed to download action 'https://api.github.com/internal/immutable-actions/actions/setup-java/download/sha256:f19074bc6e03e0cc5389bc939c3f552c56f3dc75fb76d68353fa9344584fda1f?x-ghcr-actor-id=503473897&x-ghcr-actor-type=repository&x-ghcr-alg=hmac-sha256&x-ghcr-date=2025-05-29T21:03:06Z&x-ghcr-expires=10m0s&x-ghcr-host=ghcr.io&***
|