Kotlin: Fix lint

This commit is contained in:
Ian Lynagh 2023-08-24 15:14:49 +01:00
parent 30fe0c4907
commit ff95d147d6

View file

@ -347,7 +347,8 @@ async function run() {
core.exportVariable("CODEQL_EXTRACTOR_JAVA_AGENT_DISABLE_KOTLIN", "true");
}
const kotlinLimitVar = "CODEQL_EXTRACTOR_KOTLIN_OVERRIDE_MAXIMUM_VERSION_LIMIT";
const kotlinLimitVar =
"CODEQL_EXTRACTOR_KOTLIN_OVERRIDE_MAXIMUM_VERSION_LIMIT";
if (await codeQlVersionAbove(codeql, "2.13.4")) {
core.exportVariable(kotlinLimitVar, "1.9.20");
}