diff --git a/site/static/compare.html b/site/static/compare.html
index 0e18e2243..2bc30f05f 100644
--- a/site/static/compare.html
+++ b/site/static/compare.html
@@ -314,7 +314,8 @@
Comparing between {
Comparing between {
c.category === "primary");
+ },
+ secondaryCases() {
+ return this.testCases.filter(c => c.category === "secondary");
+ },
bootstrapTotals() {
const a = this.data.a.bootstrap_total / 1e9;
const b = this.data.b.bootstrap_total / 1e9;
@@ -377,6 +383,12 @@ const app = Vue.createApp({
},
exportToMarkdown() {
exportToMarkdown(this.testCases);
+ },
+ filterNonRelevant(cases) {
+ if (this.filter.nonRelevant) {
+ return cases;
+ }
+ return cases.filter(c => c.isRelevant);
}
},
});
@@ -384,6 +396,7 @@ const app = Vue.createApp({
app.component('test-cases-table', {
props: {
cases: Array,
+ hasNonRelevant: Boolean,
showRawData: Boolean,
commitA: Object,
commitB: Object,
@@ -433,7 +446,7 @@ app.component('test-cases-table', {
- No results
+ {{ hasNonRelevant ? "No relevant results" : "No results" }}
@@ -555,7 +568,7 @@ const SummaryCount = {
`
};
-app.component('summary-table', {
+app.component("summary-table", {
props: {
summary: Object,
withLegend: {