chore(dafny): Add ExecuteStatement test · aws/aws-database-encryption-sdk-dynamodb@1a4901d

Triggered via pull request June 5, 2025 17:21

synchronize #1932

TestExecuteStatement

Status Success

Total duration 1m 51s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report Expired	291 KB	`sha256:509c3cf96bfd84d13ececed675788e7c0edb7313785d421047a7bd3d0324e138`