m

Author: ajewellamz

.github/workflows/ci.yml

@@ -175,9 +175,12 @@ jobs:
           buildspec-override: codebuild/ci/release-ci.yml
           compute-type-override: BUILD_GENERAL1_LARGE
           image-override: aws/codebuild/standard:7.0
-          env-vars-for-codebuild: GITHUB_EVENT_NAME
+          env-vars-for-codebuild: |
+            GITHUB_EVENT_NAME,
+            JAVA_ENV_VERSION
         env:
           GITHUB_EVENT_NAME: $GITHUB_EVENT_NAME
+          JAVA_ENV_VERSION: corretto11
   validateCI:
     name: Validate CI
     runs-on: ubuntu-latest

codebuild/ci/release-ci.yml

@@ -16,7 +16,7 @@ env:
 phases:
   install:
     runtime-versions:
-      java: openjdk11
+      java: $JAVA_ENV_VERSION
     commands:
       - git submodule update --init submodules/MaterialProviders
       # Get Dafny