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

Triggered via pull request February 13, 2025 15:40

ajewellamz

opened #1655

ajewell/measure

Status Success

Total duration 1m 44s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report Expired	291 KB	`sha256:43208cedb7979b1d36a3e5af3975584659973410e3c20436c2a09f23e0e924b3`