Merge pull request #990 from rylev/allow-filtering-profile

Allow filtering comparisons by profile

Author: rylev

site/static/compare.html

@@ -551,7 +551,10 @@ <h2>Comparing <span id="stat-header">{{stat}}</span> between <span id="before">{
 
                     let benches =
                         data.comparisons.
-                            filter(n => filter.name && filter.name.trim() ? n.benchmark.includes(filter.name.trim()) : true).
+                            filter(n => {
+                                const f = filter.name && filter.name.trim();
+                                return !f || (n.benchmark + "-" + n.profile).includes(f);
+                            }).
                             reduce((accum, next) => {
                                 accum[next.benchmark + "-" + next.profile] ||= [];
                                 accum[next.benchmark + "-" + next.profile].push(next);
@@ -781,4 +784,4 @@ <h2>Comparing <span id="stat-header">{{stat}}</span> between <span id="before">{
     </script>
 </body>
 
-</html>
+</html>