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

Triggered via pull request June 9, 2025 17:51

synchronize #1932

TestExecuteStatement

Status Success

Total duration 1m 47s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

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