On Sunday, September 27, 2015 at 2:31:24 PM UTC+1, Baptiste Mathus wrote: > > Isn't this issue just about the thing Tom started (finished?) working on > some months ago? I.e. paginating the build details. > > Because indeed, on a job with lots of build, you're gonna have a bad time > if you click on details. (Might be already fixed, didn't check that > specific point recently) >
It's still in a PR: https://github.com/jenkinsci/jenkins/pull/1641 It's ready to be merged but I think Daniel wanted to remove some of the search features I added, leaving just the "fuzzy" search. Maybe others should declare their interest and whether they want the more advanced search or just the "fuzzy". A topic for another thread I suppose. -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/e1165d7b-e450-46c0-ba64-ce74b0dc6cb1%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
