Add support for the intermittent dashboard

Use the new intermittent dashboard to report intermittents and get
information about open bugs. This is now used to filter out
known-intermittents from results. In addition, this also allows the
scripts to report bug information to the GitHub. Display that in all
output.

1 files changed, 7 insertions, 0 deletions

diff --git a/etc/ci/report_aggregated_expected_results.py b/etc/ci/report_aggregated_expected_results.py
index d67a2abe34f..b9d9a0650cb 100755
--- a/etc/ci/report_aggregated_expected_results.py
+++ b/etc/ci/report_aggregated_expected_results.py
@@ -41,6 +41,13 @@ class Item:
             title = f"{actual} [expected {expected}] {title_prefix}{title}"
         else:
             title = f"{actual} {title_prefix}{title}"
+
+        issue_url = "http://github.com/servo/servo/issues/"
+        if "issues" in result and result["issues"]:
+            issues = ", ".join([f"[#{issue}]({issue_url}{issue})"
+                                for issue in result["issues"]])
+            title += f" ({issues})"
+
         stack = result["stack"] if result["stack"] and print_stack else ""
         body = f"{result['message']}\n{stack}".strip()