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

Triggered via pull request June 6, 2025 20:22

synchronize #1932

TestExecuteStatement

Status Success

Total duration 1m 50s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report Expired	291 KB	`sha256:6e1aeb9383064da84feaa9b7c378f44d0f21a270ae59877539da1f8540ea8915`