fix: CI

smithy-lang · Sep 4, 2024 · 4a80456 · 4a80456
1 parent 79c1bad
commit 4a80456
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/.github/workflows/test_models_go_tests.yml b/.github/workflows/test_models_go_tests.yml
@@ -85,7 +85,28 @@ jobs:
         run: | 
           go mod init github.com/dafny-lang/DafnyRuntimeGo
           go mod tidy
+      
+      - name: Setup Java 17 for codegen
+        uses: actions/setup-java@v3
+        with:
+          distribution: "corretto"
+          java-version: 17
+
+      - name: Setup smithy-dafny-conversion
+        uses: gradle/gradle-build-action@v2
+        with:
+          arguments: publishToMavenLocal
+          build-root-directory: smithy-dafny-conversion
 
+      - name: Install Smithy-Dafny codegen dependencies
+        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
+
+      - name: Install smithy-dafny-codegen locally
+        uses: gradle/gradle-build-action@v2
+        with:
+          arguments: :smithy-dafny-codegen:pTML
+          build-root-directory: codegen
+
       - name: polymorph dafny dependencies
         shell: bash
         working-directory: ./TestModels/dafny-dependencies/StandardLibrary