diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/index.html b/index.html index dfb06005f..f6d3c6a2e 100644 --- a/index.html +++ b/index.html @@ -60,7 +60,8 @@ August 2013 | <A HREF="http://www.molto-project.eu">MOLTO</A> | <A HREF="http://school.grammaticalframework.org">SummerSchool</A> | <A HREF="/android/">Android</A> -| <a href="/~hallgren/gf-experiment/browse/">Browse GF Source Code</a><small style="color: red"><em>New!</em></small> +| <a href="/~hallgren/gf-experiment/browse/">Browse GF Source Code</a> +| <a href="http://ci.zjyto.net/job/gf-build/"><img src="http://ci.zjyto.net/buildStatus/icon?job=gf-build" alt="GF build status"></a><small style="color: red"><em>New!</em></small> ] </div> </div> |