ewilliams28/openclaw
1
0
Fork 0
mirror of https://github.com/openclaw/openclaw.git synced 2026-08-12 21:53:00 -06:00
Code Issues Packages Projects Releases Wiki Activity

fix(ci): remove duplicate Kova gate helper (#103082)

Browse Source
This commit is contained in:
Peter Steinberger
2026-07-09 20:28:35 +01:00
committed by GitHub
parent 7647d5cfbe
commit d64b9a30cb
1 changed files with 0 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/lib/kova-report-gate.mjs
-4
View File
@@ -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");