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

Triggered via pull request March 25, 2025 14:18

ajewellamz

synchronize #1655

ajewell/measure

Status Success

Total duration 1m 54s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:ed2e1a84e46c062bc005ed19928c72069bcd9a8a2f58b821011c9c01bff8f07a`