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

Triggered via pull request April 8, 2025 13:18

ajewellamz

synchronize #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	291 KB	`sha256:e2b58181692f1c8d575fcf3c399e79bf46ce8f7e487dd3a00bfb3fe327f325cf`