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

Triggered via pull request March 28, 2025 23:54

ajewellamz

synchronize #1655

ajewell/measure

Status Success

Total duration 1m 48s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report	291 KB	`sha256:7998b120ac6af8dd70075e7109c53a98d5494aa707de8a42130371cfbfc6f117`