chore(deps): bump dafny-lang/setup-dafny-action in /.github/workflows

Bumps [dafny-lang/setup-dafny-action](https://github.com/dafny-lang/setup-dafny-action) from 1.8.0 to 1.9.1.
- [Release notes](https://github.com/dafny-lang/setup-dafny-action/releases)
- [Commits](dafny-lang/setup-dafny-action@v1.8.0...v1.9.1)

---
updated-dependencies:
- dependency-name: dafny-lang/setup-dafny-action
  dependency-version: 1.9.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

.github/workflows/ci_test_go.yml

@@ -63,7 +63,7 @@ jobs:
           submodules: recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: dafny-lang/setup-dafny-action@v1.9.1
         with:
           dafny-version: ${{ inputs.dafny }}
 

.github/workflows/go-release.yml

@@ -48,7 +48,7 @@ jobs:
           git submodule update --init --recursive
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: dafny-lang/setup-dafny-action@v1.9.1
         with:
           dafny-version: ${{ needs.get-dafny-version.outputs.version }}
 

.github/workflows/performance-benchmarks-go.yml

@@ -86,7 +86,7 @@ jobs:
           go-version: ${{ matrix.go-version }}
 
       - name: Setup Dafny
-        uses: dafny-lang/setup-dafny-action@v1.8.0
+        uses: dafny-lang/setup-dafny-action@v1.9.1
         with:
           dafny-version: "4.9.0"