chore(CI): fix dafny_interop to setup_net#1965

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

imabhichow/fix-dafny-interopaws/aws-database-encryption-sdk-dynamodb:imabhichow/fix-dafny-interopCopy head branch name to clipboard