Newer JDK for smithy-dafny

aws · Oct 22, 2024 · 8540203 · 8540203
1 parent 99ea523
commit 8540203
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/actions/polymorph_codegen/action.yml b/.github/actions/polymorph_codegen/action.yml
@@ -46,6 +46,12 @@ outputs:
 runs:
   using: "composite"
   steps:
+    - name: Setup Java 17 for smithy-dafny
+      uses: actions/setup-java@v3
+      with:
+        distribution: "corretto"
+        java-version: 16
+
     - name: Install smithy-dafny dependencies locally
       shell: bash
       run: |