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

Triggered via pull request June 5, 2025 00:28

opened #1932

TestExecuteStatement

Status Success

Total duration 1m 45s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report Expired	291 KB	`sha256:bbe3e6419a7118296fd2e0372e4dafc325889f522d446332291039c12e3d981e`