-
Notifications
You must be signed in to change notification settings - Fork 349
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
Support Kotlin for public beta #1370
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice. Thank you for looking into this!
bb909b9
to
470c3f4
Compare
ccf68ff
to
060a71e
Compare
I decided to remove the PR check that tests that when the |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
An optional comment, otherwise LGTM
bff3bd2
to
9c0e3c7
Compare
I am updating the feature flag name to include |
236d034
to
f550473
Compare
f550473
to
ce9fd68
Compare
Kotlin will enter public beta with the release of 2.11.4. This change:
init
action, aliasing it to Java.disable_kotlin_analysis_enabled
, that will allow us to mass-enable theCODEQL_EXTRACTOR_JAVA_AGENT_DISABLE_KOTLIN
flag (ie. disable Kotlin extraction). The flag is not yet implemented on GitHub.com so the code is a no-op at the moment.Merge / deployment checklist