chore(gha): fix workflows triggered by dafny-interop.yml#1598

RitvikKapila merged 1 commit intomainaws/aws-database-encryption-sdk-dynamodb:mainfrom

rkapila/fix-dafny-interop-workflowaws/aws-database-encryption-sdk-dynamodb:rkapila/fix-dafny-interop-workflowCopy head branch name to clipboard