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

Triggered via pull request April 25, 2025 16:11

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:02c31f4c61ee12c94a11a687a73959a727178ffbba3cb0e5547270ea3692f64a`