chore: bump dafny verification to 4.7.0 (#666)

aws · Jul 12, 2024 · a6ccaf7 · a6ccaf7
1 parent c49af85
commit a6ccaf7
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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
@@ -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: