From 3af5e0baa890aa8c4f9c732837a16fd5c153b2b2 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 26 Jul 2024 14:59:20 +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.7.0 to 1.7.1. - [Release notes](https://github.com/dafny-lang/setup-dafny-action/releases) - [Commits](https://github.com/dafny-lang/setup-dafny-action/compare/v1.7.0...v1.7.1) --- updated-dependencies: - dependency-name: dafny-lang/setup-dafny-action dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] --- .github/workflows/ci_codegen.yml | 2 +- .github/workflows/ci_examples_java.yml | 2 +- .github/workflows/ci_examples_net.yml | 2 +- .github/workflows/ci_test_java.yml | 2 +- .github/workflows/ci_test_net.yml | 2 +- .github/workflows/ci_test_vector_java.yml | 2 +- .github/workflows/ci_test_vector_net.yml | 2 +- .github/workflows/library_dafny_verification.yml | 2 +- .github/workflows/library_format.yml | 2 +- .github/workflows/test_vector_verification.yml | 2 +- 10 files changed, 10 insertions(+), 10 deletions(-) diff --git a/.github/workflows/ci_codegen.yml b/.github/workflows/ci_codegen.yml index d81cd2a00..cb04c3af8 100644 --- a/.github/workflows/ci_codegen.yml +++ b/.github/workflows/ci_codegen.yml @@ -38,7 +38,7 @@ jobs: # and to translate version strings such as "nightly-latest" # to an actual DAFNY_VERSION. - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.0 + uses: dafny-lang/setup-dafny-action@v1.7.2 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_examples_java.yml b/.github/workflows/ci_examples_java.yml index 558b2b583..63114b4d7 100644 --- a/.github/workflows/ci_examples_java.yml +++ b/.github/workflows/ci_examples_java.yml @@ -53,7 +53,7 @@ jobs: java-version: ${{ matrix.java-version }} - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.0 + uses: dafny-lang/setup-dafny-action@v1.7.2 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_examples_net.yml b/.github/workflows/ci_examples_net.yml index 9d6d7eef6..ed6c953a3 100644 --- a/.github/workflows/ci_examples_net.yml +++ b/.github/workflows/ci_examples_net.yml @@ -46,7 +46,7 @@ jobs: dotnet-version: ${{ matrix.dotnet-version }} - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.0 + uses: dafny-lang/setup-dafny-action@v1.7.2 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml index f96748878..b36eb989a 100644 --- a/.github/workflows/ci_test_java.yml +++ b/.github/workflows/ci_test_java.yml @@ -47,7 +47,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.0 + uses: dafny-lang/setup-dafny-action@v1.7.2 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml index 8ead30d1f..f3145f4a5 100644 --- a/.github/workflows/ci_test_net.yml +++ b/.github/workflows/ci_test_net.yml @@ -47,7 +47,7 @@ jobs: dotnet-version: ${{ matrix.dotnet-version }} - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.0 + uses: dafny-lang/setup-dafny-action@v1.7.2 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_test_vector_java.yml b/.github/workflows/ci_test_vector_java.yml index 13549d90d..4e793163e 100644 --- a/.github/workflows/ci_test_vector_java.yml +++ b/.github/workflows/ci_test_vector_java.yml @@ -56,7 +56,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.0 + uses: dafny-lang/setup-dafny-action@v1.7.2 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/ci_test_vector_net.yml b/.github/workflows/ci_test_vector_net.yml index e2fdff24e..dea03fc6a 100644 --- a/.github/workflows/ci_test_vector_net.yml +++ b/.github/workflows/ci_test_vector_net.yml @@ -52,7 +52,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.0 + uses: dafny-lang/setup-dafny-action@v1.7.2 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml index f25a216b2..4290ce00f 100644 --- a/.github/workflows/library_dafny_verification.yml +++ b/.github/workflows/library_dafny_verification.yml @@ -52,7 +52,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.0 + uses: dafny-lang/setup-dafny-action@v1.7.2 with: dafny-version: ${{ inputs.dafny }} diff --git a/.github/workflows/library_format.yml b/.github/workflows/library_format.yml index 7a7cf3259..1b4b8f59d 100644 --- a/.github/workflows/library_format.yml +++ b/.github/workflows/library_format.yml @@ -37,7 +37,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.0 + uses: dafny-lang/setup-dafny-action@v1.7.2 with: dafny-version: ${{ '4.2.0' }} diff --git a/.github/workflows/test_vector_verification.yml b/.github/workflows/test_vector_verification.yml index 118808829..9cfa37249 100644 --- a/.github/workflows/test_vector_verification.yml +++ b/.github/workflows/test_vector_verification.yml @@ -43,7 +43,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.7.0 + uses: dafny-lang/setup-dafny-action@v1.7.2 with: dafny-version: ${{ inputs.dafny }}