Update dafny-version

smithy-lang · Oct 24, 2024 · a70ba35 · a70ba35
1 parent d819ab8
commit a70ba35
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/.github/workflows/smithy-polymorph.yml b/.github/workflows/smithy-polymorph.yml
@@ -21,15 +21,10 @@ jobs:
         with:
           distribution: "corretto"
           java-version: "17"
-      - uses: actions/setup-java@v3
-        with:
-          distribution: "corretto"
-          java-version: "17"
       - name: Setup Dafny
         uses: dafny-lang/[email protected]
         with:
-          # Matching the hard-coded version for the "2023" edition for now
-          dafny-version: 4.1.0
+          dafny-version: 4.8.1
 
       - name: Install Smithy-Dafny codegen dependencies
         uses: ./.github/actions/install_smithy_dafny_codegen_dependencies