From d64b9a30cb9164788be04e86a9f0a0a7b7657e55 Mon Sep 17 00:00:00 2001
From: Peter Steinberger <peter@steipete.me>
Date: Thu, 9 Jul 2026 20:28:35 +0100
Subject: [PATCH] fix(ci): remove duplicate Kova gate helper (#103082)

---
 scripts/lib/kova-report-gate.mjs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/scripts/lib/kova-report-gate.mjs b/scripts/lib/kova-report-gate.mjs
index 770bd60bed44..742551c48d0a 100644
--- a/scripts/lib/kova-report-gate.mjs
+++ b/scripts/lib/kova-report-gate.mjs
@@ -142,10 +142,6 @@ function validateRecord(recordValue) {
   return record;
 }
 
-function recordViolations(record) {
-  return record.violations === undefined ? [] : array(record.violations, "record violations");
-}
-
 function validateTargetCleanup(report) {
   if (!text(report.target, "report target").startsWith("local-build:")) {
     check(report.targetCleanup === null, "non-local target had cleanup metadata");