From 3aa9adad9cce69f5324e6a0ec7b5b3db21291f0e Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Thu, 11 Jul 2024 18:43:02 -0700 Subject: [PATCH] chore: bump dafny verification to 4.7.0 --- .github/workflows/daily_ci.yml | 2 +- .github/workflows/pull.yml | 2 +- .github/workflows/push.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/daily_ci.yml b/.github/workflows/daily_ci.yml index 7b1b83047..3824b6cef 100644 --- a/.github/workflows/daily_ci.yml +++ b/.github/workflows/daily_ci.yml @@ -17,7 +17,7 @@ jobs: if: github.event_name != 'schedule' || github.repository_owner == 'aws' uses: ./.github/workflows/library_dafny_verification.yml with: - dafny: '4.2.0' + dafny: '4.7.0' # daily-ci-java: # if: github.event_name != 'schedule' || github.repository_owner == 'aws' # uses: ./.github/workflows/library_java_tests.yml diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml index ad9a6d9ca..523b5149b 100644 --- a/.github/workflows/pull.yml +++ b/.github/workflows/pull.yml @@ -12,7 +12,7 @@ jobs: pr-ci-verification: uses: ./.github/workflows/library_dafny_verification.yml with: - dafny: '4.2.0' + dafny: '4.7.0' # pr-ci-java: # uses: ./.github/workflows/library_java_tests.yml # with: diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 399783d51..98de8408c 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -14,7 +14,7 @@ jobs: push-ci-verification: uses: ./.github/workflows/library_dafny_verification.yml with: - dafny: '4.2.0' + dafny: '4.7.0' # push-ci-java: # uses: ./.github/workflows/library_java_tests.yml # with: