Change the path to the build job in jenkins

This commit is contained in:
gregoire.detrez
2014-10-16 15:51:08 +00:00
parent cd0f887ad9
commit 0fa320b381

View File

@@ -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>