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

Re-run triggered April 8, 2025 16:07

ajewellamz

#1655

ajewell/measure

Status Success

Total duration 26m 47s

Artifacts –

pull.yml

on: pull_request

Matrix: pr-ci-codegen / code-generation

Matrix: pr-ci-format / format_projects

Matrix: pr-ci-java-examples / testJava

Matrix: pr-ci-java-test-vectors / testJava

Matrix: pr-ci-java / testJava

Matrix: pr-ci-net-examples / dotNetExamples

Matrix: pr-ci-net-test-vectors / testDotNet

Matrix: pr-ci-net / testDotNet

Matrix: pr-ci-rust / testRust

Matrix: pr-ci-test-vector-verification / verification

Matrix: pr-ci-verification / verification