Merge branch 'main' into copilot/update-overlay-git-version-check

This commit is contained in:
Henry Mercer
2025-12-18 14:06:01 +00:00
25 changed files with 3745 additions and 2466 deletions
+2 -1
View File
@@ -90920,7 +90920,8 @@ var featureConfig = {
["upload_overlay_db_to_api" /* UploadOverlayDbToApi */]: {
defaultValue: false,
envVar: "CODEQL_ACTION_UPLOAD_OVERLAY_DB_TO_API",
minimumVersion: void 0
minimumVersion: void 0,
toolsFeature: "bundleSupportsOverlay" /* BundleSupportsOverlay */
},
["use_repository_properties" /* UseRepositoryProperties */]: {
defaultValue: false,