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

Triggered via pull request April 29, 2025 02:49

ajewellamz

synchronize #1834

ajewell/opt2

Status Success

Total duration 1m 46s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	290 KB	`sha256:61cdf9c6b64bac1293cc6b4974f2c8093bdfd6c6ac7361166c1e6580febbeef2`