chore(dafny): further performance enhancements · aws/aws-database-encryption-sdk-dynamodb@392339a

Triggered via pull request April 24, 2025 18:47

ajewellamz

synchronize #1834

ajewell/opt2

Status Success

Total duration 1m 45s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	290 KB	`sha256:3193a059e36a01ef889a6597ad91000d34f3f69687ef51f76bd8b1a1c8b08219`