chore(dafny): add timing support · aws/aws-database-encryption-sdk-dynamodb@3bd8024

Triggered via pull request April 8, 2025 14:49

ajewellamz

synchronize #1655

ajewell/measure

Status Success

Total duration 1m 50s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:b1993ace1ed6ce970bcb2e0ff180648f0bd84626ad997d0097329510eb2e39f8`