chore(gha): fix workflows triggered by dafny-interop.yml (#1598) · aws/aws-database-encryption-sdk-dynamodb@0cb009d

Triggered via push January 27, 2025 20:31

main

Status Success

Total duration 1m 49s

Artifacts 1

ci_duvet.yml

on: push

Produced during runtime

Name	Size	Digest
specification_compliance_report Expired	290 KB	`sha256:b9d563d5e3ee51ec1edca9e6f4d6bbb7f1c82bfd84826f24c96f61d54d13cb09`