chore(deps): bump dafny-lang/setup-dafny-action from 1.8.0 to 1.9.1 in /.github/workflows#2017

dependabot[bot] wants to merge 1 commit into

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

dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1aws/aws-database-encryption-sdk-dynamodb:dependabot/github_actions/dot-github/workflows/dafny-lang/setup-dafny-action-1.9.1Copy head branch name to clipboard