mirror of
https://github.com/servo/servo.git
synced 2025-08-16 02:45:36 +01:00
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.
This commit is contained in:
parent
0b98f33555
commit
2784c0e69d
3 changed files with 125 additions and 60 deletions
|
@ -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()
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue