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

Triggered via pull request April 24, 2025 20:07

ajewellamz

synchronize #1834

ajewell/opt2

Status Success

Total duration 1m 42s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	290 KB	`sha256:3937dddd2de6de3d320efbac7a449673db8579f2d9dd61a2fd201bd9a0784b64`