chore: install smithy-dafny dependencies in github workflows#1890

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

ajewell/poly-depsaws/aws-database-encryption-sdk-dynamodb:ajewell/poly-depsCopy head branch name to clipboard