diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 2acdf34..d25d58d 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -59,11 +59,13 @@ jobs: - name: Checkout repository uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # 7.0.1 - # Add any setup steps before running the `github/codeql-action/init` action. - # This includes steps like installing compilers or runtimes (`actions/setup-node` - # or others). This is typically only required for manual builds. - # - name: Setup runtime (example) - # uses: actions/setup-example@v1 + - name: Configure Java toolchain + if: matrix.language == 'java-kotlin' + # Map the GitHub runner's JDK variable to the name expected in gradle.properties. + run: | + if [ -d "${JAVA_HOME_17_X64:-}" ]; then + echo "JAVA_17_HOME=$JAVA_HOME_17_X64" >> "$GITHUB_ENV" + fi # Initializes the CodeQL tools for scanning. - name: Initialize CodeQL