chore: use install smithy dafny deps from MPL #2266

rishav-karanjit merged 8 commits into

mainaws/aws-database-encryption-sdk-dynamodb:mainfrom

reuse-install_smithy_dafny_codegen_dependencies-actionsaws/aws-database-encryption-sdk-dynamodb:reuse-install_smithy_dafny_codegen_dependencies-actionsCopy head branch name to clipboard