From 8a0835d0490640a1ea97fae7cf609de66d45eafe Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 3 Nov 2023 03:19:48 +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.6.1 to 1.7.0. - [Release notes](https://github.com/dafny-lang/setup-dafny-action/releases) - [Commits](https://github.com/dafny-lang/setup-dafny-action/compare/v1.6.1...v1.7.0) --- updated-dependencies: - dependency-name: dafny-lang/setup-dafny-action dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] --- .github/workflows/ci_examples_java.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_verification.yml | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci_examples_java.yml b/.github/workflows/ci_examples_java.yml index a38b5a24a..a5a6cb8b6 100644 --- a/.github/workflows/ci_examples_java.yml +++ b/.github/workflows/ci_examples_java.yml @@ -60,7 +60,7 @@ jobs: java-version: ${{ matrix.java-version }} - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.6.1 + uses: dafny-lang/setup-dafny-action@v1.7.0 with: # A && B || C is the closest thing to an if .. then ... else ... or ?: expression the GitHub Actions syntax supports. dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }} diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml index ab085970a..2fd7b0f68 100644 --- a/.github/workflows/ci_test_java.yml +++ b/.github/workflows/ci_test_java.yml @@ -56,7 +56,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.6.1 + uses: dafny-lang/setup-dafny-action@v1.7.0 with: # A && B || C is the closest thing to an if .. then ... else ... or ?: expression the GitHub Actions syntax supports. dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }} diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml index b464e602b..b52fdaf1b 100644 --- a/.github/workflows/ci_test_net.yml +++ b/.github/workflows/ci_test_net.yml @@ -57,7 +57,7 @@ jobs: dotnet-version: ${{ matrix.dotnet-version }} - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.6.1 + uses: dafny-lang/setup-dafny-action@v1.7.0 with: # A && B || C is the closest thing to an if .. then ... else ... or ?: expression the GitHub Actions syntax supports. dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }} diff --git a/.github/workflows/ci_test_vector_java.yml b/.github/workflows/ci_test_vector_java.yml index c550898bc..bfd47471c 100644 --- a/.github/workflows/ci_test_vector_java.yml +++ b/.github/workflows/ci_test_vector_java.yml @@ -39,7 +39,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.6.1 + uses: dafny-lang/setup-dafny-action@v1.7.0 with: dafny-version: '4.2.0' diff --git a/.github/workflows/ci_verification.yml b/.github/workflows/ci_verification.yml index 98963b88b..c6617803c 100644 --- a/.github/workflows/ci_verification.yml +++ b/.github/workflows/ci_verification.yml @@ -47,7 +47,7 @@ jobs: submodules: recursive - name: Setup Dafny - uses: dafny-lang/setup-dafny-action@v1.6.1 + uses: dafny-lang/setup-dafny-action@v1.7.0 with: # A && B || C is the closest thing to an if .. then ... else ... or ?: expression the GitHub Actions syntax supports. dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }}