From d8e5e3dbabe457f2d21a87f828263ae27b2f1b32 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=93scar=20San=20Jos=C3=A9?= <oscarsj@github.com>
Date: Mon, 1 Jun 2026 17:26:52 +0200
Subject: [PATCH] Rebuild

---
 lib/entry-points.js | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/lib/entry-points.js b/lib/entry-points.js
index 5cf6997ee..2bcda65ba 100644
--- a/lib/entry-points.js
+++ b/lib/entry-points.js
@@ -158716,7 +158716,7 @@ var io7 = __toESM(require_io());
 var semver10 = __toESM(require_semver2());
 
 // src/config/resolve-tools-input.ts
-function resolveToolsInput(toolsWorkflowInput, allowRepositoryPropertyFallback, repositoryProperties, logger) {
+function resolveToolsInput(toolsWorkflowInput, _allowRepositoryPropertyFallback, repositoryProperties, logger) {
   if (toolsWorkflowInput) {
     logger.info(
       `Setting tools: ${toolsWorkflowInput} based on workflow input.`
@@ -158724,14 +158724,6 @@ function resolveToolsInput(toolsWorkflowInput, allowRepositoryPropertyFallback,
     return toolsWorkflowInput;
   }
   const toolsPropertyValue = repositoryProperties["github-codeql-tools" /* TOOLS */];
-  if (!allowRepositoryPropertyFallback) {
-    if (toolsPropertyValue) {
-      logger.info(
-        `No explicit tools input was provided. Ignoring '${"github-codeql-tools" /* TOOLS */}' repository property because it is only supported for dynamic workflows.`
-      );
-    }
-    return void 0;
-  }
   if (toolsPropertyValue) {
     logger.info(
       `Setting tools: ${toolsPropertyValue} based on the '${"github-codeql-tools" /* TOOLS */}' repository property.`