diff --git a/dashboard/index.html b/dashboard/index.html index 512b594a83a..8cd5c8efa6f 100644 --- a/dashboard/index.html +++ b/dashboard/index.html @@ -33,72 +33,72 @@

Age

- + <7 days - + 3
- + 8-90 days - + 23
- + >1 year labeled type/api - + 6
- + >1 year labeled type/test - + 10
- + >1 year labeled type/build - + 4
- + >1 year labeled CBMC - + 4 @@ -123,14 +123,14 @@

Issues

Issues with zero comments (external) -59 +60
- +
Issues with updates in the last 14 days (external) -19 +8
@@ -148,11 +148,11 @@

Pull Requests

Ready to merge -3 +4
- +
No review (external) last 14 days 2