Remove unneeded CodeArtifact setup, fix version number, update submodules (#213)

Co-authored-by: Lucas McDonald <[email protected]>

Author: robin-aws

.github/workflows/ci_examples_java.yml

@@ -64,23 +64,6 @@ jobs:
           git config --global --add url.https://github.com/.insteadOf [email protected]:
           git submodule update --init --recursive submodules/MaterialProviders
 
-      # Set up env vars for CodeArtifact
-      # Necessary to build and deploy dependencies for examples locally
-      - name: Set Up Env Vars for CodeArtifact
-        run: |
-          export URL=`aws codeartifact get-repository-endpoint \
-            --domain github-polymorph \
-            --domain-owner "370957321024" \
-            --repository DafnyJavaConversion \
-            --format maven | jq -r .repositoryEndpoint`
-          export TOKEN=`aws codeartifact get-authorization-token \
-            --domain github-polymorph \
-            --domain-owner "370957321024" \
-            --query authorizationToken \
-            --output text`
-          echo "CODEARTIFACT_URL_JAVA_CONVERSION=$URL" >> $GITHUB_ENV
-          echo "CODEARTIFACT_AUTH_TOKEN=$TOKEN" >> $GITHUB_ENV
-
       - name: Setup Java ${{ matrix.java-version }}
         uses: actions/setup-java@v3
         with:

.github/workflows/ci_test_java.yml

@@ -66,22 +66,6 @@ jobs:
           git config --global --add url.https://github.com/.insteadOf [email protected]:
           git submodule update --init --recursive submodules/MaterialProviders
 
-      # Set up env vars for CodeArtifact
-      - name: Set Up Env Vars for CodeArtifact
-        run: |
-          export URL=`aws codeartifact get-repository-endpoint \
-            --domain github-polymorph \
-            --domain-owner "370957321024" \
-            --repository DafnyJavaConversion \
-            --format maven | jq -r .repositoryEndpoint`
-          export TOKEN=`aws codeartifact get-authorization-token \
-            --domain github-polymorph \
-            --domain-owner "370957321024" \
-            --query authorizationToken \
-            --output text`
-          echo "CODEARTIFACT_URL_JAVA_CONVERSION=$URL" >> $GITHUB_ENV
-          echo "CODEARTIFACT_AUTH_TOKEN=$TOKEN" >> $GITHUB_ENV
-
       - name: Setup Dafny
         uses: dafny-lang/[email protected]
         with:

DynamoDbEncryption/runtimes/java/build.gradle.kts

@@ -65,7 +65,7 @@ val dynamodb by configurations.creating
 
 dependencies {
     implementation("org.dafny:DafnyRuntime:4.1.0")
-    implementation("software.amazon.smithy.dafny:conversion:1.0-SNAPSHOT")
+    implementation("software.amazon.smithy.dafny:conversion:0.1")
     implementation("software.amazon.cryptography:AwsCryptographicMaterialProviders:1.0-SNAPSHOT")
 
     implementation(platform("software.amazon.awssdk:bom:2.19.1"))