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

Triggered via pull request May 8, 2025 16:43

synchronize #1871

Status Success

Total duration 1m 52s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	290 KB	`sha256:1f3dd4c9628f863fd2a599b48d1c983365c850a198e2d8ad2bc0df02bc49d806`