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

Triggered via pull request April 29, 2025 02:53

ajewellamz

synchronize #1834

ajewell/opt2

Status Success

Total duration 1m 54s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	290 KB	`sha256:3d4390a32743df0c110c3beb3bdc8bef2f54fb4c1ffa4e85908081536b7b7a7f`