robojerk/codeql-action

Re-enable kotlin tests

Browse source 
Reverts https://github.com/github/codeql-action/pull/1473
This commit is contained in:
Andrew Eisenberg 2023-10-10 16:08:54 -07:00
parent a67b110795
commit 7feb9a04fd
40 changed files with 11 additions and 68 deletions
Download patch file Download diff file Expand all files Collapse all files

5
pr-checks/sync.py
View file

@ -134,10 +134,7 @@ for file in os.listdir('checks'):
'name': f"PR Check - {checkSpecification['name']}",
'env': {
'GITHUB_TOKEN': '${{ secrets.GITHUB_TOKEN }}',
'GO111MODULE': 'auto',
# Disable Kotlin analysis while it's incompatible with Kotlin 1.8, until we find a
# workaround for our PR checks.
'CODEQL_EXTRACTOR_JAVA_AGENT_DISABLE_KOTLIN': 'true',
'GO111MODULE': 'auto'
},
'on': {
'push': {