Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Extend Kotlin support to version 1.9.10 #14046

Closed
sschuberth opened this issue Aug 24, 2023 · 5 comments
Closed

Extend Kotlin support to version 1.9.10 #14046

sschuberth opened this issue Aug 24, 2023 · 5 comments
Labels
question Further information is requested

Comments

@sschuberth
Copy link

Currently, only up to Kotlin 1.9.0 is supported. Please extend support to include the recently released Kotlin 1.9.10.

@sschuberth sschuberth added the question Further information is requested label Aug 24, 2023
@sschuberth
Copy link
Author

sschuberth commented Aug 24, 2023

Maybe the version check could generally be further relaxed to ignore patch-level-only version changes.

@pcolby
Copy link

pcolby commented Aug 24, 2023

In particular, Dependabot has begun submitting PR's that fail against CodeQL, with:

com.semmle.extractor.java.interceptors.KotlinInterceptor$KotlinVersionTooRecentError:
Kotlin version 1.9.10 is too recent. CodeQL currently supports versions below 1.9.10

Thanks.

@mbg
Copy link
Member

mbg commented Aug 25, 2023

Hi @sschuberth and @pcolby!

Thanks for raising this and sorry about the inconvenience. I have passed this on to the relevant team internally and they expect this to be resolved early next week.

@sschuberth
Copy link
Author

sschuberth commented Aug 30, 2023

Looks like this is working now with v2.14.3 even though not explicitly mentioned in the release notes. Just use tools: latest in the workflow.

@igfoo
Copy link
Contributor

igfoo commented Aug 31, 2023

1.9.10 will now work with 2.14.3 for users of the codeql action (i.e. most people). For people using the CLI directly, it will work in the next release (2.14.4).

@igfoo igfoo closed this as completed Aug 31, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
question Further information is requested
Projects
None yet
Development

No branches or pull requests

4 participants