Include "Result" in name

This commit is contained in:
Henry Mercer
2026-01-27 15:11:48 +00:00
parent e8f487178f
commit 5cb12c41c2
2 changed files with 8 additions and 8 deletions
+4 -4
View File
@@ -92594,7 +92594,7 @@ async function run(startedAt) {
getTemporaryDirectory(),
logger
);
const repositoryProperties = await loadRepositoryProperties(
const repositoryPropertiesResult = await loadRepositoryProperties(
repositoryNwo,
gitHubVersion,
features,
@@ -92688,10 +92688,10 @@ async function run(startedAt) {
githubVersion: gitHubVersion,
apiDetails,
features,
repositoryProperties: repositoryProperties.orElse({}),
repositoryProperties: repositoryPropertiesResult.orElse({}),
logger
});
if (repositoryProperties.isFailure()) {
if (repositoryPropertiesResult.isFailure()) {
addDiagnostic(
config,
// Arbitrarily choose the first language. We could also choose all languages, but that
@@ -92701,7 +92701,7 @@ async function run(startedAt) {
"codeql-action/repository-properties-load-failure",
"Failed to load repository properties",
{
error: getErrorMessage(repositoryProperties.value)
error: getErrorMessage(repositoryPropertiesResult.value)
}
)
);