finally

Author: RitvikKapila

.github/workflows/ci_test_latest_released_mpl_java.yml

@@ -50,48 +50,46 @@ jobs:
           distribution: "corretto"
           java-version: ${{ matrix.java-version }}
 
-      # - name: Setup Dafny
-      #   uses: dafny-lang/setup-dafny-action@v1.8.0
-      #   with:
-      #     dafny-version: ${{ needs.getVersion.outputs.version }}
+      - name: Setup Dafny
+        uses: dafny-lang/setup-dafny-action@v1.8.0
+        with:
+          dafny-version: ${{ needs.getVersion.outputs.version }}
 
-      # - name: Regenerate code using smithy-dafny if necessary
-      #   if: ${{ inputs.regenerate-code }}
-      #   uses: ./.github/actions/polymorph_codegen
-      #   with:
-      #     dafny: ${{ env.DAFNY_VERSION }}
-      #     library: DynamoDbEncryption
-      #     diff-generated-code: false
-      #     update-and-regenerate-mpl: true
+      - name: Regenerate code using smithy-dafny if necessary
+        if: ${{ inputs.regenerate-code }}
+        uses: ./.github/actions/polymorph_codegen
+        with:
+          dafny: ${{ env.DAFNY_VERSION }}
+          library: DynamoDbEncryption
+          diff-generated-code: false
+          update-and-regenerate-mpl: true
 
       # The following two steps: "Build and deploy to maven local" and "Run Extensive Tests"
       # mimic the tests in ./codebuild/staging/release-staging.yml
-      # - name: Build and deploy to maven local
-      #   shell: bash
-      #   working-directory: ./DynamoDbEncryption
-      #   run: |
-      #     # Run transpile by itself. We don't want to locally build the MPL because
-      #     # we want to verify that the version pulled down from maven works correctly
-      #     make transpile_implementation_java
-      #     make transpile_test_java
-      #     make mvn_local_deploy
-      #     make test_java
+      - name: Build and deploy to maven local
+        shell: bash
+        working-directory: ./DynamoDbEncryption
+        run: |
+          # Run transpile by itself. We don't want to locally build the MPL because
+          # we want to verify that the version pulled down from maven works correctly
+          make transpile_implementation_java
+          make transpile_test_java
+          make mvn_local_deploy
+          make test_java
 
-      # - name: Run Extensive Tests
-      #   working-directory: ./DynamoDbEncryption
-      #   run: |
-      #     gradle -p runtimes/java clean
-      #     gradle -p runtimes/java test
+      - name: Run Extensive Tests
+        working-directory: ./DynamoDbEncryption
+        run: |
+          gradle -p runtimes/java clean
+          gradle -p runtimes/java test
 
       # This makes sure that we are using the correct MPL version to test the DB-ESDK.
       # If this contains a SNAPSHOT version, this will fail because'
       # we are NOT building the MPL recursively but pulling from Maven.
       - name: Update project.properties to use the correct MPL version (from project.properties in DB-ESDK)
         working-directory: ./submodules/MaterialProviders/
         run: |
-          cat project.properties
           sed "s/mplVersion=.*/mplVersion=${{needs.getMplDependencyJavaVersion.outputs.version}}/g" project.properties > project.properties2; mv project.properties2 project.properties
-          cat project.properties
 
       # The following three steps: "Transpile MPL Test Vectors without recursively building the MPL",
       # "Run Test Vectors", and "Test Examples" mimic the tests in ./codebuild/staging/validate-staging.yml
@@ -100,7 +98,6 @@ jobs:
         run: |
           # Run transpile by itself. We don't want to locally build the MPL because
           # we want to verify that the version pulled down from maven works correctly
-          cat ../project.properties
           make transpile_implementation_java
           make transpile_test_java
           make mvn_local_deploy