hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: Use 1.8.10 for CI

Browse Source 
I don't think there's any need for the CI version to be one of the
versions we build extractors for, so I've removed that check.
This commit is contained in:
Ian Lynagh
2023-02-03 16:19:29 +00:00
parent 99bed0b089
commit 6255298876
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/kotlin-extractor/kotlin_plugin_versions.py
View File

@@ -21,8 +21,8 @@ def version_string_to_tuple(version):
m = re.match(r'([0-9]+)\.([0-9]+)\.([0-9]+)(.*)', version)
return tuple([int(m.group(i)) for i in range(1, 4)] + [m.group(4)])
# Version number used by CI. It needs to be one of the versions in many_versions.
ci_version = '1.8.0'
# Version number used by CI.
ci_version = '1.8.10'
# Version numbers in the list need to be in semantically increasing order
many_versions = [ '1.4.32', '1.5.0', '1.5.10', '1.5.20', '1.5.30', '1.6.0', '1.6.20', '1.7.0', '1.7.20', '1.8.0' ]
@@ -57,8 +57,6 @@ def get_single_version(fakeVersionOutput = None):
raise Exception(f'No suitable kotlinc version found for {current_version} (got {versionOutput}; know about {str(many_versions)})')
def get_latest_url():
if ci_version not in many_versions:
raise Exception('CI version must be one of many_versions')
url = 'https://github.com/JetBrains/kotlin/releases/download/v' + ci_version + '/kotlin-compiler-' + ci_version + '.zip'
return url