diff options
| author | hallgren <hallgren@chalmers.se> | 2013-12-12 20:54:59 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-12-12 20:54:59 +0000 |
| commit | 4811de89a4df9a24cf74cf562aa1372e4be6cf4e (patch) | |
| tree | e93be9c5f5269c62cca3fafafd1901ec9918aca3 /index.html | |
| parent | 3021570b1be31098ed57197a2032b3bd89d2473d (diff) | |
GF home page: add a link to Grégoire's GF build status page
The link shows the current build status.
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> |