chore: add ddb local to dafny interop test vectors · aws/aws-database-encryption-sdk-dynamodb@11ec884

Triggered via pull request August 26, 2024 20:37

synchronize #1316

jocorel/fix-interop-gha

Status Success

Total duration 1m 14s

Artifacts 1

ci_duvet.yml

on: pull_request

1 warning

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Produced during runtime

Name	Size
specification_compliance_report Expired	274 KB