From c58cecdc85ba1bbd56a8c0aa39e0e03a34b0aba1 Mon Sep 17 00:00:00 2001 From: Pimyn Girgis Date: Tue, 16 Dec 2025 11:04:05 +0100 Subject: syz-cluster: add filtering by series and patch name Update SeriesFilter in pkg/db to include PatchName and SeriesName fields, implement the SQL logic to filter by these fields case-insensitively, and expose these filters in the dashboard UI. --- syz-cluster/dashboard/handler.go | 1 + syz-cluster/dashboard/templates/index.html | 4 +++ .../8_add_series_and_patch_tokenization.down.sql | 5 +++ .../8_add_series_and_patch_tokenization.up.sql | 5 +++ syz-cluster/pkg/db/series_repo.go | 42 +++++++++++++++------- 5 files changed, 45 insertions(+), 12 deletions(-) create mode 100644 syz-cluster/pkg/db/migrations/8_add_series_and_patch_tokenization.down.sql create mode 100644 syz-cluster/pkg/db/migrations/8_add_series_and_patch_tokenization.up.sql (limited to 'syz-cluster') diff --git a/syz-cluster/dashboard/handler.go b/syz-cluster/dashboard/handler.go index d8ebd7c61..381efcfcd 100644 --- a/syz-cluster/dashboard/handler.go +++ b/syz-cluster/dashboard/handler.go @@ -117,6 +117,7 @@ func (h *dashboardHandler) seriesList(w http.ResponseWriter, r *http.Request) er WithFindings: r.FormValue("with_findings") != "", Limit: perPage, Offset: offset, + Name: r.FormValue("name"), }, // If the filters are changed, the old offset value is irrelevant. FilterFormURL: urlutil.DropParam(baseURL, "offset", ""), diff --git a/syz-cluster/dashboard/templates/index.html b/syz-cluster/dashboard/templates/index.html index b52da738f..afaa87d73 100644 --- a/syz-cluster/dashboard/templates/index.html +++ b/syz-cluster/dashboard/templates/index.html @@ -6,6 +6,10 @@ +
+ + +