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

Triggered via pull request June 4, 2025 15:44

ajewellamz

synchronize #1931

Status Success

Total duration 2m 12s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report Expired	291 KB	`sha256:389e67fb274c4e8e679777acade8329c83f651fa2189f238e7e12140b7d5d6da`