diff options
| -rw-r--r-- | polly/www/todo.html | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/polly/www/todo.html b/polly/www/todo.html index 4eec52c75fa..304c3174e23 100644 --- a/polly/www/todo.html +++ b/polly/www/todo.html @@ -60,8 +60,11 @@ later maybe polly.llvm.org </td></tr> <tr> <th align="left">Buildbot that runs 'make polly-test' -</th><td align="center"> -</th><td> Raghesh,<br /> Andreas +</th><td class="done" align="center"> +done<br /> +<a +href="http://google1.osuosl.org:8011/console">http://google1.osuosl.org:8011/console</a> +<td> Tobias,<br />Raghesh,<br /> Andreas </td></tr> <tr> <th align="left"> Nightly performance/coverage tests<br /> (with the llvm |
