try 4.6

aws · May 30, 2024 · f1f530a · f1f530a
1 parent 6f9fad6
commit f1f530a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci_verification.yml b/.github/workflows/ci_verification.yml
@@ -50,7 +50,7 @@ jobs:
         uses: dafny-lang/[email protected]
         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.5.0' }}
+          dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.6.0' }}
 
       - name: Regenerate code using smithy-dafny if necessary
         if: ${{ inputs.nightly }}