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

Triggered via pull request May 7, 2025 17:03

opened #1871

Status Success

Total duration 1m 46s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	290 KB	`sha256:ff4acd7e25b2f33f7819fa84f25f99962aa5b46a90e4269e76797b751eb6d7c4`