From a70ba35a3d76e1aa5ca4fe319b4d9290526919b7 Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Wed, 23 Oct 2024 22:07:44 -0700 Subject: [PATCH] Update dafny-version --- .github/workflows/smithy-polymorph.yml | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/.github/workflows/smithy-polymorph.yml b/.github/workflows/smithy-polymorph.yml index f863c66c4..d77cadfea 100644 --- 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/setup-dafny-action@v1.7.0 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