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

Triggered via pull request April 24, 2025 15:58

ajewellamz

synchronize #1834

ajewell/opt2

Status Success

Total duration 1m 50s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	290 KB	`sha256:ab773d43be08d7dca6fae3da0731a9dfab5bcbd92c4e1810a2cd01454353c716`