chore: Hardcode Python version to 3.11 in Smithy-Dafny setup action#2003

lucasmcdonald3 wants to merge 1 commit intomainaws/aws-database-encryption-sdk-dynamodb:mainfrom

lucasmcdonald3-patch-1aws/aws-database-encryption-sdk-dynamodb:lucasmcdonald3-patch-1Copy head branch name to clipboard