Merge branch 'main' into rasmuswl/no-dep-inst-default

This commit is contained in:
Rasmus Wriedt Larsen 2024-01-04 15:28:16 +01:00
commit ce9d281924
No known key found for this signature in database
282 changed files with 6791 additions and 1563 deletions

View file

@ -76,7 +76,7 @@ export const featureConfig: Record<
},
[Feature.CliConfigFileEnabled]: {
envVar: "CODEQL_PASS_CONFIG_TO_CLI",
minimumVersion: "2.11.6",
minimumVersion: undefined,
defaultValue: true,
},
[Feature.EvaluatorFineGrainedParallelismEnabled]: {