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

Triggered via pull request June 6, 2025 22:50

synchronize #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:3e6c97b9bf65abb0b46b4f5ca261713876e4512fc73c95c4ac2a5affeb6c4070`