Pushed. Gerald
--- htdocs/testing/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/htdocs/testing/index.html b/htdocs/testing/index.html index 012ac287..bf031c22 100644 --- a/htdocs/testing/index.html +++ b/htdocs/testing/index.html @@ -117,7 +117,7 @@ the testsuite directories.</p> <li>Run benchmarks regularly and report performance regressions.</li> <li>Extend the build robot to also do local builds, run the testsuite, visualize test result differences and probably use something like - <a href="http://buildbot.net/">BuildBot</a>. Some of the + <a href="https://buildbot.net">BuildBot</a>. Some of the <a href="https://gcc.gnu.org/wiki/CompileFarm">Compile Farm</a> machines could also be used.</li> </ul> -- 2.45.0