From 0a00d0c14ffb44f643486c0dfcf11dfe5f09effd Mon Sep 17 00:00:00 2001
From: "Michael B. Gale" <mbg@github.com>
Date: Wed, 21 Oct 2026 19:36:54 +0100
Subject: [PATCH] Rename `noCodeQLInToolcache`

---
 pr-checks/toolcache.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pr-checks/toolcache.ts b/pr-checks/toolcache.ts
index 6d734a2e7..aa7d9afc1 100755
--- a/pr-checks/toolcache.ts
+++ b/pr-checks/toolcache.ts
@@ -28,7 +28,7 @@ function findCodeQL() {
   return toolcache.findAllVersions("CodeQL");
 }
 
-function noCodeQLInToolcache() {
+function checkNoCodeQLInToolcache() {
   const allCodeqlVersions = findCodeQL();
   if (allCodeqlVersions.length !== 0) {
     throw new Error(
@@ -77,7 +77,7 @@ function main() {
       removeCodeQLFromToolcache();
       return;
     case "absent":
-      noCodeQLInToolcache();
+      checkNoCodeQLInToolcache();
       return;
     case "installed":
       hasCodeQLInToolcache(values["expected-version-count"]);