chore(dafny): make CI to work for all runtimes · aws/aws-database-encryption-sdk-dynamodb@c48a7fd

Triggered via pull request May 7, 2025 17:38

synchronize #1871

Status Success

Total duration 1m 50s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	290 KB	`sha256:7afb80b1149a2c92c01be28fbba1ab9a4d0123793a001f413b7c56c24d31a6e4`