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.

Author: pimyn-girgis

syz-cluster/dashboard/handler.go

@@ -112,6 +112,8 @@ func (h *dashboardHandler) seriesList(w http.ResponseWriter, r *http.Request) er
 	baseURL := r.URL.RequestURI()
 	data := MainPageData{
 		Filter: db.SeriesFilter{
+			PatchName:    r.FormValue("patch_name"),
+			SeriesName:   r.FormValue("series_name"),
 			Cc:           r.FormValue("cc"),
 			Status:       db.SessionStatus(r.FormValue("status")),
 			WithFindings: r.FormValue("with_findings") != "",

syz-cluster/dashboard/templates/index.html

@@ -7,6 +7,14 @@
             <input type="text" name="cc" class="form-control mb-3" value="{{.Filter.Cc}}" id="inputCc">
           </div>
           <div class="col-auto col-sm-3">
+            <label for="inputSeriesName">Series Name</label>
+            <input type="text" name="series_name" class="form-control mb-3" value="{{.Filter.SeriesName}}" id="inputSeriesName">
+          </div>
+          <div class="col-auto col-sm-3">
+            <label for="inputPatchName">Patch Name</label>
+            <input type="text" name="patch_name" class="form-control mb-3" value="{{.Filter.PatchName}}" id="inputPatchName">
+          </div>
+          <div class="col-auto">
             <label for="inputStatus">Status</label>
             <select id="inputStatus" class="form-control mb-3" name="status">
               {{$filter := .Filter}}

syz-cluster/pkg/db/series_repo.go

@@ -132,6 +132,8 @@ type SeriesFilter struct {
 	WithFindings bool
 	Limit        int
 	Offset       int
+	PatchName    string
+	SeriesName   string
 }
 
 // ListLatest() returns the list of series ordered by the decreasing PublishedAt value.
@@ -152,6 +154,15 @@ func (repo *SeriesRepository) ListLatest(ctx context.Context, filter SeriesFilte
 		stmt.SQL += " AND @cc IN UNNEST(Cc)"
 		stmt.Params["cc"] = filter.Cc
 	}
+	if filter.SeriesName != "" {
+		stmt.SQL += " AND LOWER(title) LIKE '%' || LOWER(@series_name) || '%'"
+		stmt.Params["series_name"] = filter.SeriesName
+	}
+	if filter.PatchName != "" {
+		stmt.SQL += " AND EXISTS(SELECT 1 FROM Patches WHERE Patches.SeriesID = Series.ID" +
+			" AND LOWER(Title) LIKE '%' || LOWER(@patch_name) || '%')"
+		stmt.Params["patch_name"] = filter.PatchName
+	}
 	if filter.Status != SessionStatusAny {
 		// It could have been an INNER JOIN in the main query, but let's favor the simpler code
 		// in this function.