chore(dafny): test ExecuteTransaction and BatchExecuteStatement · aws/aws-database-encryption-sdk-dynamodb@bde2f78

Triggered via pull request June 10, 2025 19:44

synchronize #1941

rishav/addTestForDDBAPI

Status Success

Total duration 1m 47s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:519b5a54ba00330a2e0f3300f6ee56ef0e354fa5068f7f7e02385a00db1d6055`