From c37c6c865717c973cd9b19f9c448794b3b0fdfdd Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 13 Feb 2026 03:04:43 +0000 Subject: [PATCH] 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](https://github.com/dafny-lang/setup-dafny-action/compare/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] --- .github/workflows/ci_test_go.yml | 2 +- .github/workflows/go-release.yml | 2 +- .github/workflows/performance-benchmarks-go.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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"