Update to CodeQL CLI 2.12.7.

lcartey · lcartey · commit b45c846cb103 · 2023-08-16T17:51:40.000+01:00
diff --git a/supported_codeql_configs.json b/supported_codeql_configs.json
@@ -1,9 +1,9 @@
 {
   "supported_environment": [
     {
-      "codeql_cli": "2.11.6",
-      "codeql_standard_library": "codeql-cli/v2.11.6",
-      "codeql_cli_bundle": "codeql-bundle-20221211"
+      "codeql_cli": "2.12.7",
+      "codeql_standard_library": "codeql-cli/v2.12.7",
+      "codeql_cli_bundle": "codeql-bundle-20230418"
     }
   ],
   "supported_language": [

Original file line number	Diff line number	Diff line change
`@@ -1,9 +1,9 @@`
`1`	`1`	`{`
`2`	`2`	`"supported_environment": [`
`3`	`3`	`{`
`4`		`- "codeql_cli": "2.11.6",`
`5`		`- "codeql_standard_library": "codeql-cli/v2.11.6",`
`6`		`- "codeql_cli_bundle": "codeql-bundle-20221211"`
	`4`	`+ "codeql_cli": "2.12.7",`
	`5`	`+ "codeql_standard_library": "codeql-cli/v2.12.7",`
	`6`	`+ "codeql_cli_bundle": "codeql-bundle-20230418"`
`7`	`7`	`}`
`8`	`8`	`],`
`9`	`9`	`"supported_language": [`