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

Triggered via pull request March 14, 2025 15:50

ajewellamz

synchronize #1655

ajewell/measure

Status Success

Total duration 1m 43s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:5eec6d355048c29f2baea949ecaf590165e57e8262b5214e6c2d4f58569c480b`