chore(CI): Fix Dafny CLI CI error · aws/aws-database-encryption-sdk-dynamodb@d5c068d

Triggered via pull request May 27, 2025 19:53

synchronize #1910

fix-ci

Status Success

Total duration 1m 43s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report Expired	291 KB	`sha256:5b3053545d2416c2b87151b358a851c731d13cea91387730722b45bd516247a7`