chore(dafny): improve performance of searchable encryption · aws/aws-database-encryption-sdk-dynamodb@0be1e0d

Triggered via pull request June 4, 2025 18:58

ajewellamz

synchronize #1931

Status Success

Total duration 1m 54s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report Expired	291 KB	`sha256:f1ea85190fdd0fa81ba304338283afebb65dcf5385bc8102f73d629986ae1abc`