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: