feat: Python EncryptedResource, EncryptedTablesCollectionManager, and tests #1801
lucasmcdonald3pull.yml
on: pull_request
getVersion
/
getDafnyVersion
11s
getVerifyVersion
/
getDafnyVerifyVersion
8s
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
3s
Annotations
2 errors and 104 warnings
|
pr-ci-java-examples / testJava (17, macos-13)
Process completed with exit code 1.
|
|
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#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-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/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):
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):
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-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-codegen / code-generation (TestVectors, 6.0.x, ubuntu-22.04)
Failed to restore v8-gradle|Linux|pr ci-code-generation[7206fa0e0cedb6913d76412c6501ba2d]-40e09897b8ac11024c2ac74a4149946ffe460406: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CLinux%7Cpr%20ci-code-generation%5B7206fa0e0cedb6913d76412c6501ba2d%5D-40e09897b8ac11024c2ac74a4149946ffe460406%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]-40e09897b8ac11024c2ac74a4149946ffe460406: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CLinux%7Cpr%20ci-code-generation%5Ba7a5bf8db14f32543239f51f99b1fdf5%5D-40e09897b8ac11024c2ac74a4149946ffe460406%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]-40e09897b8ac11024c2ac74a4149946ffe460406: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CLinux%7Cpr%20ci-testRust%5B795159b82cac2846154e488c4edbad8e%5D-40e09897b8ac11024c2ac74a4149946ffe460406%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]-40e09897b8ac11024c2ac74a4149946ffe460406: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CLinux%7Cpr%20ci-testRust%5B6c680655a126b152b57aacb5eb872519%5D-40e09897b8ac11024c2ac74a4149946ffe460406%2Cv8-gradle%7CLinux%7Cpr%20ci-testRust%5B6c680655a126b152b57aacb5eb872519%5D%2Cv8-gradle%7CLinux%7Cpr%20ci-testRust%2Cv8-gradle%7CLinux&version=eb03f63337b25bd615bd5f2e3e2f06a28f197125b72943445f4e43a1c0565302
|
|
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-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, 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, 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-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]-40e09897b8ac11024c2ac74a4149946ffe460406: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CmacOS%7Cpr%20ci-testRust%5B7cba8ad3265adf31fb0a602ac71ef80e%5D-40e09897b8ac11024c2ac74a4149946ffe460406%2Cv8-gradle%7CmacOS%7Cpr%20ci-testRust%5B7cba8ad3265adf31fb0a602ac71ef80e%5D%2Cv8-gradle%7CmacOS%7Cpr%20ci-testRust%2Cv8-gradle%7CmacOS&version=ebce7290c324ba9d5e6ef4959d2adb3ff4b86f302096a100ef31e0cbd9f10632
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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-rust / testRust (TestVectors, macos-13)
Failed to restore v8-gradle|macOS|pr ci-testRust[071027feb64b35675e0730c602830e0e]-40e09897b8ac11024c2ac74a4149946ffe460406: Error: getCacheEntry failed: Request timeout: /cbHuWAFp7XoaSrZNtD1bMpuBrH2ShhLbeK7i6aodrpPl6aCRaB/_apis/artifactcache/cache?keys=v8-gradle%7CmacOS%7Cpr%20ci-testRust%5B071027feb64b35675e0730c602830e0e%5D-40e09897b8ac11024c2ac74a4149946ffe460406%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!
|