Add repository property for file coverage on PRs

This commit is contained in:
Henry Mercer
2026-03-02 19:20:43 +01:00
parent b895512248
commit b2fff91823
16 changed files with 54 additions and 3 deletions
+1
View File
@@ -104777,6 +104777,7 @@ var semver5 = __toESM(require_semver2());
// src/feature-flags/properties.ts
var RepositoryPropertyName = /* @__PURE__ */ ((RepositoryPropertyName2) => {
RepositoryPropertyName2["DISABLE_OVERLAY"] = "github-codeql-disable-overlay";
RepositoryPropertyName2["ENABLE_FILE_COVERAGE_ON_PRS"] = "github-codeql-enable-file-coverage-on-prs";
RepositoryPropertyName2["EXTRA_QUERIES"] = "github-codeql-extra-queries";
return RepositoryPropertyName2;
})(RepositoryPropertyName || {});