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

Triggered via pull request May 7, 2025 18:01

synchronize #1871

Status Success

Total duration 1m 51s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	290 KB	`sha256:66f56defef6f35bc3b1bef37d81c8ef1ddf70b9b537962cb3ab1b08678df4f15`