| commit | dc9c7a1be63821304dba3a902f9bee82f0a3833d | [log] [tgz] |
|---|---|---|
| author | Philipp Wollermann <philwo@google.com> | Tue May 28 14:41:31 2019 +0200 |
| committer | GitHub <noreply@github.com> | Tue May 28 14:41:31 2019 +0200 |
| tree | 9fee681c84ded54f9c11d5527e95de65982fbe05 | |
| parent | fefcbf482d2de3b1638fc0ee234218a5dc1dbd0b [diff] |
Fix #634: Add more visible link to CI dashboard.