Various fixes to make the CDK example pass verification

.github/workflows/pre-release.yml

@@ -11,6 +11,10 @@ on:
         description: 'sdk-java version (without prepending v). Leave empty if you do not want to update it.'
         required: false
         type: string
+      cdkVersion:
+        description: 'cdk version (without prepending v). Leave empty if you do not want to update it.'
+        required: false
+        type: string
 
 jobs:
   updates:
@@ -53,6 +57,9 @@ jobs:
       - name: Find and replace restateVersion in build.gradle.kts for kotlin templates
         if: github.event.inputs.sdkJavaVersion != ''
         run: for jvmDir in hello-world-http hello-world-lambda; do sed -i 's/val restateVersion = "[0-9A-Z.-]*"/val restateVersion = "${{ inputs.sdkJavaVersion }}"/' kotlin/$jvmDir/build.gradle.kts; done
+      - name: Find and replace restateVersion in build.gradle.kts for kotlin/hello-world-lambda-cdk
+        if: github.event.inputs.sdkJavaVersion != ''
+        run: sed -i 's/val restateVersion = "[0-9A-Z.-]*"/val restateVersion = "${{ inputs.sdkJavaVersion }}"/' kotlin/hello-world-lambda-cdk/lambda/build.gradle.kts
 
       # When adding a new example add the check task here
       - name: Test java/hello-world-http
@@ -80,12 +87,18 @@ jobs:
           arguments: check
           build-root-directory: kotlin/hello-world-lambda
 
+      - name: Update cdk version
+        if: github.event.inputs.cdkVersion != ''
+        run: npm --prefix kotlin/hello-world-lambda-cdk install @restatedev/restate-cdk@^${{ inputs.cdkVersion }}
+
       # CDK projects are a hybrid of TypeScript CDK stack + platform-specific handler code; the top-level npm CDK build
-      # is responsible for verifying the language-specific handler cod. They are also not a part of the TypeScript
+      # is responsible for verifying the language-specific handler code. They are also not a part of the TypeScript
       # examples workspace, so we test them separately here.
       - name: Test kotlin/hello-world-lambda-cdk
-        if: github.event.inputs.sdkTypescriptVersion != '' && github.event.inputs.sdkJavaVersion != ''
-        run: npm --prefix kotlin/hello-world-lambda-cdk run verify
+        if: github.event.inputs.cdkVersion != '' || github.event.inputs.sdkJavaVersion != ''
+        run: |
+          npm --prefix kotlin/hello-world-lambda-cdk install
+          npm --prefix kotlin/hello-world-lambda-cdk run verify
 
       - name: Create Pull Request
         uses: peter-evans/create-pull-request@v5

.github/workflows/test.yml

@@ -47,11 +47,12 @@ jobs:
           build-root-directory: kotlin/hello-world-lambda
 
       # CDK projects are a hybrid of TypeScript CDK stack + platform-specific handler code; the top-level npm CDK build
-      # is responsible for verifying the language-specific handler cod. They are also not a part of the TypeScript
+      # is responsible for verifying the language-specific handler code. They are also not a part of the TypeScript
       # examples workspace, so we test them separately here.
       - name: Test kotlin/hello-world-lambda-cdk
-        if: github.event.inputs.sdkTypescriptVersion != '' && github.event.inputs.sdkJavaVersion != ''
-        run: npm --prefix kotlin/hello-world-lambda-cdk run verify
+        run: |
+          npm --prefix kotlin/hello-world-lambda-cdk install
+          npm --prefix kotlin/hello-world-lambda-cdk run verify
 
   build-ts:
     # prevent from running on forks

kotlin/hello-world-lambda-cdk/lambda/settings.gradle.kts

@@ -0,0 +1,2 @@
+// automatically download missing toolchains
+plugins { id("org.gradle.toolchains.foojay-resolver-convention") version "0.7.0" }