diff options
| author | gregoire.detrez <gregoire.detrez@gu.se> | 2014-10-16 15:51:08 +0000 |
|---|---|---|
| committer | gregoire.detrez <gregoire.detrez@gu.se> | 2014-10-16 15:51:08 +0000 |
| commit | 070057e6950d7d07d05c91bb90033d012c6e8f01 (patch) | |
| tree | ab363a9cf751fe08975645740381c567b05ae800 /index.html | |
| parent | 5a641ebe730662c5c439521a1caddcc8a3125399 (diff) | |
Change the path to the build job in jenkins
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html index c6a4a2fc1..249313dab 100644 --- a/index.html +++ b/index.html @@ -71,7 +71,7 @@ function sitesearch() { <div class=links> <h4>Develop GF</h4> <ul> - <li><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> + <li><a href="https://ci.zjyto.net/job/GF/job/Build/"><img src="https://ci.zjyto.net/job/GF/job/Build/badge/icon" alt="GF build status"></a> <li><a href="doc/gf-developers.html">GF Developers Guide</a> <li><A HREF="https://github.com/GrammaticalFramework/GF/">GitHub mirror</A> <li><A HREF="http://code.google.com/p/grammatical-framework/wiki/SideBar?tm=6">Wiki</A> |