Skip to content

feat(SharedCache): Shared Cache for Searchable Encryption #732

feat(SharedCache): Shared Cache for Searchable Encryption

feat(SharedCache): Shared Cache for Searchable Encryption #732

Annotations

1 error

pr-ci-verification  /  verification (DynamoDbEncryptionTransforms, macos-13)

failed Dec 15, 2024 in 9m 51s
Set up job
3s
Run actions/checkout@v3
29s
Setup Dafny
32s
Update MPL submodule if using MPL HEAD
0s
Update project.properties if using MPL HEAD
0s
Setup .NET Core SDK '6.0.x'
1s
Regenerate code using smithy-dafny if necessary
0s
Verify DynamoDbEncryptionTransforms Dafny code
8m 39s
Check solver resource use
1s
Post Setup .NET Core SDK '6.0.x'
0s
Post Setup Dafny
0s
Post Run actions/checkout@v3
1s
Complete job
0s