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

Triggered via pull request June 5, 2025 16:41

synchronize #1932

TestExecuteStatement

Status Success

Total duration 1m 48s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

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