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

Triggered via pull request June 4, 2025 19:09

ajewellamz

synchronize #1931

Status Success

Total duration 1m 45s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report Expired	291 KB	`sha256:4f8e2f654030a07bcb21e9233ffd319a2b12f854665049dd39c3f9d6904cd196`