diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-15 15:02:14 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-17 19:02:11 +0100 |
| commit | 9e421cc9c50e1529ea5b3b036296df7eee9e32d9 (patch) | |
| tree | 7ecd969c4e73658ff95e22d09f8905088100761a /dashboard/app/main.html | |
| parent | 223b2499f7165cb71d175701381739aaaee11b05 (diff) | |
dashboard/app: allow showing source coverage report
Diffstat (limited to 'dashboard/app/main.html')
| -rw-r--r-- | dashboard/app/main.html | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dashboard/app/main.html b/dashboard/app/main.html index b25cc5cd1..115b39c5c 100644 --- a/dashboard/app/main.html +++ b/dashboard/app/main.html @@ -113,7 +113,10 @@ Main page. {{range $ns := $.BugNamespaces}} <br> <h2 id="{{$ns.Caption}}">{{$ns.Caption}}</h2> - {{if $ns.FixedCount}} + {{if $ns.FixedLink}} + {{if $ns.CoverLink}} + <a href="{{$ns.CoverLink}}" target="_blank">source coverage</a> | + {{end}} <a href="{{$ns.FixedLink}}">fixed bugs ({{$ns.FixedCount}})</a> {{end}} {{range $group := $ns.Groups}} |