From 1410c388de3a41b222def614d3a0e2edc91b4b3b Mon Sep 17 00:00:00 2001 From: J Plasmeier Date: Tue, 3 Oct 2023 15:38:29 -0700 Subject: [PATCH] chore: update Dafny from 4.1 to 4.2 --- .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 dfa810c16..a38b5a24a 100644 --- a/.github/workflows/ci_examples_java.yml +++ b/.github/workflows/ci_examples_java.yml @@ -63,7 +63,7 @@ jobs: uses: dafny-lang/setup-dafny-action@v1.6.1 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.1.0' }} + dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }} - name: Build and locally deploy dependencies for examples shell: bash diff --git a/.github/workflows/ci_test_java.yml b/.github/workflows/ci_test_java.yml index 91eb11700..ab085970a 100644 --- a/.github/workflows/ci_test_java.yml +++ b/.github/workflows/ci_test_java.yml @@ -59,7 +59,7 @@ jobs: uses: dafny-lang/setup-dafny-action@v1.6.1 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.1.0' }} + dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }} - name: Setup Java ${{ matrix.java-version }} uses: actions/setup-java@v3 diff --git a/.github/workflows/ci_test_net.yml b/.github/workflows/ci_test_net.yml index 8b7bf116e..dd27907df 100644 --- a/.github/workflows/ci_test_net.yml +++ b/.github/workflows/ci_test_net.yml @@ -60,7 +60,7 @@ jobs: uses: dafny-lang/setup-dafny-action@v1.6.1 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.1.0' }} + dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }} - name: Download Dependencies working-directory: ./${{ matrix.library }} diff --git a/.github/workflows/ci_test_vector_java.yml b/.github/workflows/ci_test_vector_java.yml index 19917495e..c550898bc 100644 --- a/.github/workflows/ci_test_vector_java.yml +++ b/.github/workflows/ci_test_vector_java.yml @@ -41,7 +41,7 @@ jobs: - name: Setup Dafny uses: dafny-lang/setup-dafny-action@v1.6.1 with: - dafny-version: '4.1.0' + dafny-version: '4.2.0' - name: Setup Java ${{ matrix.java-version }} uses: actions/setup-java@v3 diff --git a/.github/workflows/ci_verification.yml b/.github/workflows/ci_verification.yml index 0ee2efad7..98963b88b 100644 --- a/.github/workflows/ci_verification.yml +++ b/.github/workflows/ci_verification.yml @@ -50,7 +50,7 @@ jobs: uses: dafny-lang/setup-dafny-action@v1.6.1 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.1.0' }} + dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.2.0' }} - name: Verify ${{ matrix.library }} Dafny code shell: bash