chore: fix Dafny verification · aws/aws-database-encryption-sdk-dynamodb@d46c08e

Triggered via pull request February 5, 2025 18:32

opened #1627

Status Success

Total duration 1m 46s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report Expired	290 KB	`sha256:f850e7635142f2c57f5f506d9e23fb01d5a0aa204baf94cf60afee46589873aa`