diff --git a/.github/workflows/ci_test_go.yml b/.github/workflows/ci_test_go.yml
index 4ba24ef265..f41182f336 100644
--- a/.github/workflows/ci_test_go.yml
+++ b/.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 }}
 
diff --git a/.github/workflows/go-release.yml b/.github/workflows/go-release.yml
index df7a851b40..deda4d0200 100644
--- a/.github/workflows/go-release.yml
+++ b/.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 }}
 
diff --git a/.github/workflows/performance-benchmarks-go.yml b/.github/workflows/performance-benchmarks-go.yml
index faa2ad02da..7e40e58429 100644
--- a/.github/workflows/performance-benchmarks-go.yml
+++ b/.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"