chore(gha): fix workflows triggered by dafny-interop.yml · aws/aws-database-encryption-sdk-dynamodb@8ac54c8

Triggered via pull request January 27, 2025 19:36

opened #1598

Status Success

Total duration 1m 48s

Artifacts 1

ci_duvet.yml

on: pull_request

Produced during runtime

Name	Size	Digest
specification_compliance_report Expired	290 KB	`sha256:8660be8a80db6f6fc5fbc576546532576350f9e9828ddb0d3d20b4ef437ec5a3`