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

Triggered via pull request April 24, 2025 13:38

ajewellamz

synchronize #1834

ajewell/opt2

Status Success

Total duration 1m 44s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:56a428277afdecee444ef15e6ee874e0bf96e98f25981880ef6f3ebbecb019a7`