Ignore empty repository property

This commit is contained in:
Michael B. Gale
2026-06-17 15:18:09 +01:00
parent b2cc23e25d
commit 52077a03d9
3 changed files with 13 additions and 2 deletions

2
lib/entry-points.js generated
View File

@@ -158539,7 +158539,7 @@ function getConfigFileInput(logger, actions, repositoryProperties) {
return input;
}
const propertyValue = repositoryProperties["github-codeql-config-file" /* CONFIG_FILE */];
if (propertyValue !== void 0) {
if (propertyValue !== void 0 && propertyValue.trim().length > 0) {
logger.info(
`Using configuration file input from repository property: ${propertyValue}`
);