From 34f75b50e724c177539ba21befb43ab2a8b1c897 Mon Sep 17 00:00:00 2001 From: "Michael B. Gale" Date: Wed, 21 Oct 2026 19:34:35 +0100 Subject: [PATCH] Rename argument --- pr-checks/toolcache.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pr-checks/toolcache.ts b/pr-checks/toolcache.ts index 459ecb068..7339bf898 100755 --- a/pr-checks/toolcache.ts +++ b/pr-checks/toolcache.ts @@ -60,8 +60,8 @@ function hasCodeQLInToolcache(expectedNumber?: string) { function main() { const { positionals, values } = parseArgs({ options: { - // The *number* of expected versions in the toolcache. - expectedVersions: { type: "string", short: "n" }, + // The number of expected versions in the toolcache. + "expected-version-count": { type: "string", short: "n" }, }, allowPositionals: true, }); @@ -80,7 +80,7 @@ function main() { noCodeQLInToolcache(); return; case "installed": - hasCodeQLInToolcache(values.expectedVersions); + hasCodeQLInToolcache(values["expected-version-count"]); return; default: throw new Error(`Unknown command '${cmd}'.`);