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

Triggered via pull request June 5, 2025 19:54

synchronize #1932

TestExecuteStatement

Status Success

Total duration 1m 52s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

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