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

Triggered via pull request April 26, 2025 01:38

ajewellamz

synchronize #1834

ajewell/opt2

Status Success

Total duration 1m 51s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	290 KB	`sha256:66f9dff38f0b2c86090217907a53292ea72f3ff75bf53921a8ab2bede2f62273`