Use http instead of https in the links to the build job in jenkins

The ci.zjyto.net web site uses an SSL certificate that is not recognized by
mainstream browsers (e.g. Firefox, Safari and the Android web browser).
This commit is contained in:
hallgren
2014-10-17 08:26:09 +00:00
parent d30aaa6547
commit 6dc1df3011

View File

@@ -71,7 +71,7 @@ function sitesearch() {
<div class=links>
<h4>Develop GF</h4>
<ul>
<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="http://ci.zjyto.net/job/GF/job/Build/"><img src="http://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>